We tackle the challenge of extracting unsatisfiable cores from LTLf (linear-time temporal logic on finite traces) specifications.
Computing Unsatisfiable Cores for LTLf Specifications / Roveri, Marco; Di Ciccio, Claudio; Di Francescomarino, Chiara; Ghidini, Chiara. - 3310:(2022), pp. 81-84. ( 2022 Workshop on Process Management in the AI Era, PMAI 2022 Wien; Austria ).
Computing Unsatisfiable Cores for LTLf Specifications
Di Ciccio, Claudio;Ghidini, Chiara
2022
Abstract
We tackle the challenge of extracting unsatisfiable cores from LTLf (linear-time temporal logic on finite traces) specifications.File allegati a questo prodotto
| File | Dimensione | Formato | |
|---|---|---|---|
|
Roveri_Computing_2022.pdf
accesso aperto
Note: https://ceur-ws.org/Vol-3310/paper12.pdf
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Creative commons
Dimensione
650.34 kB
Formato
Adobe PDF
|
650.34 kB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
