Matteo Rossi

Latest

• Model Checking MITL formulae on Timed Automata: a Logic-Based Approach
• PuRSUE - From Specification of Robotic Environments to Synthesis of Controllers
• A Flexible Approach for Checking Timed Automata on Continuous Time Semantics