A first-order logic characterisation of safety and co-safety languages

von Cimatti, Alessandro
Veröffentlicht in FOSSACS (25. : 2022 : München) Foundation of software science and computation structures (2022)

Safe Decomposition of Startup Requirements: Verification and Synthesis

von Cimatti, Alessandro
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis

von Cimatti, Alessandro
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2021)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic

von Artale, Alessandro
Veröffentlicht in AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 5, part 2 of 2 (2023)