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), pp. 6236-6244. doi: 10.1609/aaai.v37i5.25768.