Artale, A.; Geatti, L.; Gigante, N.; Mazzullo, A.; Montanari, A. Complexity of Safety and CoSafety Fragments of Linear Temporal Logic. AAAI 2023, 37, 6236-6244.