Computing unsatisfiable cores for LTLf specifications

Marco Roveri; Claudio Di Ciccio; Chiara Di Francescomarino; Chiara Ghidini

Computing unsatisfiable cores for LTLf specifications

Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini

University of Rome La Sapienza

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

We tackle the challenge of extracting unsatisfiable cores from LTLf (linear-time temporal logic on finite traces) specifications.

Original language	English
Title of host publication	Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 23, 2022
Editors	Giuseppe De Giacomo, Antonella Guzzo, Marco Montali, Lior Limonad, Fabiana Fournier, Tagatha Chakraborti
Publisher	CEUR WS
Pages	81-84
Number of pages	4
Volume	3310
Publication status	Published - Jul 2022

Publication series

Name	CEUR Workshop Proceedings
Publisher	CEUR-WS.org

Bibliographical note

Open access

Keywords

Linear Temporal Logic
Satisfiability
Automated reasoning
Artificial intelligence
Formal specification

Access to Document

https://ceur-ws.org/Vol-3310/paper12.pdf

Cite this

Roveri, M., Di Ciccio, C., Di Francescomarino, C., & Ghidini, C. (2022). Computing unsatisfiable cores for LTLf specifications. In G. De Giacomo, A. Guzzo, M. Montali, L. Limonad, F. Fournier, & T. Chakraborti (Eds.), Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 23, 2022 (Vol. 3310, pp. 81-84). (CEUR Workshop Proceedings). CEUR WS. https://ceur-ws.org/Vol-3310/paper12.pdf

Roveri, Marco ; Di Ciccio, Claudio ; Di Francescomarino, Chiara et al. / Computing unsatisfiable cores for LTLf specifications. Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 23, 2022. editor / Giuseppe De Giacomo ; Antonella Guzzo ; Marco Montali ; Lior Limonad ; Fabiana Fournier ; Tagatha Chakraborti. Vol. 3310 CEUR WS, 2022. pp. 81-84 (CEUR Workshop Proceedings).

@inproceedings{4f5a1c292ee64aacb135a14313d0d387,

title = "Computing unsatisfiable cores for LTLf specifications",

abstract = "We tackle the challenge of extracting unsatisfiable cores from LTLf (linear-time temporal logic on finite traces) specifications.",

keywords = "Linear Temporal Logic, Satisfiability, Automated reasoning, Artificial intelligence, Formal specification",

author = "Marco Roveri and {Di Ciccio}, Claudio and {Di Francescomarino}, Chiara and Chiara Ghidini",

note = "Open access",

year = "2022",

month = jul,

language = "English",

volume = "3310",

series = "CEUR Workshop Proceedings",

publisher = "CEUR WS",

pages = "81--84",

editor = "{De Giacomo}, Giuseppe and Antonella Guzzo and Marco Montali and Lior Limonad and Fabiana Fournier and Tagatha Chakraborti",

booktitle = "Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 23, 2022",

}

Roveri, M, Di Ciccio, C, Di Francescomarino, C & Ghidini, C 2022, Computing unsatisfiable cores for LTLf specifications. in G De Giacomo, A Guzzo, M Montali, L Limonad, F Fournier & T Chakraborti (eds), Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 23, 2022. vol. 3310, CEUR Workshop Proceedings, CEUR WS, pp. 81-84. <https://ceur-ws.org/Vol-3310/paper12.pdf>

Computing unsatisfiable cores for LTLf specifications. / Roveri, Marco; Di Ciccio, Claudio; Di Francescomarino, Chiara et al.
Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 23, 2022. ed. / Giuseppe De Giacomo; Antonella Guzzo; Marco Montali; Lior Limonad; Fabiana Fournier; Tagatha Chakraborti. Vol. 3310 CEUR WS, 2022. p. 81-84 (CEUR Workshop Proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Computing unsatisfiable cores for LTLf specifications

AU - Roveri, Marco

AU - Di Ciccio, Claudio

AU - Di Francescomarino, Chiara

AU - Ghidini, Chiara

N1 - Open access

PY - 2022/7

Y1 - 2022/7

N2 - We tackle the challenge of extracting unsatisfiable cores from LTLf (linear-time temporal logic on finite traces) specifications.

AB - We tackle the challenge of extracting unsatisfiable cores from LTLf (linear-time temporal logic on finite traces) specifications.

KW - Linear Temporal Logic

KW - Satisfiability

KW - Automated reasoning

KW - Artificial intelligence

KW - Formal specification

M3 - Conference contribution

VL - 3310

T3 - CEUR Workshop Proceedings

SP - 81

EP - 84

BT - Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 23, 2022

A2 - De Giacomo, Giuseppe

A2 - Guzzo, Antonella

A2 - Montali, Marco

A2 - Limonad, Lior

A2 - Fournier, Fabiana

A2 - Chakraborti, Tagatha

PB - CEUR WS

ER -

Roveri M, Di Ciccio C, Di Francescomarino C, Ghidini C. Computing unsatisfiable cores for LTLf specifications. In De Giacomo G, Guzzo A, Montali M, Limonad L, Fournier F, Chakraborti T, editors, Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 23, 2022. Vol. 3310. CEUR WS. 2022. p. 81-84. (CEUR Workshop Proceedings).

Computing unsatisfiable cores for LTLf specifications

Abstract

Publication series

Bibliographical note

Keywords

Access to Document

Fingerprint

Cite this