Artale, A., Geatti, L., Gigante, N., Mazzullo, A. and Montanari, A. 2023. Complexity of Safety and coSafety Fragments of Linear Temporal Logic. Proceedings of the AAAI Conference on Artificial Intelligence. 37, 5 (Jun. 2023), 6236-6244. DOI:https://doi.org/10.1609/aaai.v37i5.25768.