The paper “Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis” by Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari and Stefano Tonetta received the SEFM2021 best paper award!!!
-
ExploDTwin Kick Off Meeting
-
New Software Developer Position
-
New Research position in the field of model-based system-software engineering and formal methods for space systems
-
New Researcher position in the field of formal verification of complex control systems
-
New researcher position in the field of model-based design for autonomous systems (Deadline extended to May 11)