- Title
- Computing Unsatisfiable Cores for LTLf Specifications
- Creators
- M RoveriC Di CiccioC Di FrancescomarinoChiara Ghidini
- Publication Details
- CEUR Workshop Proceedings, Vol.3310, pp.81-84
- Conference
- 2022 Workshop on Process Management in the AI Era, PMAI 2022 (Wien)
- Series / Volume
- 3310
- Publisher
- CEUR-WS
- Number of pages
- 4
- Identifiers
- (UNIBZ)83749250
991006804897501241 - Scopus ID
- 2-s2.0-85145911043
- Academic Unit
- Faculty of Engineering
- Language
- English
- Resource Type
- Conference proceeding
- Author Names String
- Roveri M, Di Ciccio C, Di Francescomarino C, Ghidini C
- Additional Description
- description: Record is part of a bulk validation set
Conference proceeding
Computing Unsatisfiable Cores for LTLf Specifications
CEUR Workshop Proceedings, Vol.3310, pp.81-84
3310
2022 Workshop on Process Management in the AI Era, PMAI 2022 (Wien)
2022
Handle:
https://hdl.handle.net/10863/41508
Details
Metrics
1 Record Views