Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini. Computing unsatisfiable cores for LTLf specifications. In Giuseppe De Giacomo, Antonella Guzzo, Marco Montali, Lior Limonad, Fabiana Fournier, Tagatha Chakraborti, 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), Wien, Austria, July 23, 2022. Volume 3310 of CEUR Workshop Proceedings, pages 81-84, CEUR-WS.org, 2022. [doi]
Abstract is missing.