Artale, Alessandro, Luca Geatti, Nicola Gigante, Andrea Mazzullo, and Angelo Montanari. 2023. “Complexity of Safety and CoSafety Fragments of Linear Temporal Logic”. Proceedings of the AAAI Conference on Artificial Intelligence 37 (5):6236-44. https://doi.org/10.1609/aaai.v37i5.25768.