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