Marcello Bersani

Latest

• Mind the gap: Robotic Mission Planning Meets Software Engineering
• Model Checking MITL formulae on Timed Automata: a Logic-Based Approach
• A Flexible Approach for Checking Timed Automata on Continuous Time Semantics