@article{roveri2022,
title = {Computing unsatisfiable cores for LTLf specifications},
author = {Marco Roveri and Claudio Di Ciccio and Chiara Di Francescomarino and Chiara Ghidini},
journal = {Journal of Artificial Intelligence Research, 80 (2024) 517-558},
year = {2022},
month = {Mar},
doi = {10.1613/jair.1.15313},
url = {https://doi.org/10.1613/jair.1.15313},
}
Marco Roveri et al. (2022). Computing unsatisfiable cores for LTLf specifications. Journal of Artificial Intelligence Research, 80 (2024) 517-558. https://doi.org/10.1613/jair.1.15313
Marco Roveri, et al.. "Computing unsatisfiable cores for LTLf specifications." Journal of Artificial Intelligence Research, 80 (2024) 517-558, 2022, https://doi.org/10.1613/jair.1.15313.
Marco Roveri, et al.. "Computing unsatisfiable cores for LTLf specifications." Journal of Artificial Intelligence Research, 80 (2024) 517-558 (2022). https://doi.org/10.1613/jair.1.15313
Marco Roveri et al., 2022. Computing unsatisfiable cores for LTLf specifications. Journal of Artificial Intelligence Research, 80 (2024) 517-558. Available at: <https://doi.org/10.1613/jair.1.15313>.
TY - JOUR
TI - Computing unsatisfiable cores for LTLf specifications
AU - Marco Roveri
AU - Claudio Di Ciccio
AU - Chiara Di Francescomarino
AU - Chiara Ghidini
PY - 2022
JO - Journal of Artificial Intelligence Research, 80 (2024) 517-558
DO - 10.1613/jair.1.15313
UR - https://doi.org/10.1613/jair.1.15313
ER -