Pierluigi San Pietro

Latest

• Model Checking MITL formulae on Timed Automata: a Logic-Based Approach
• A Flexible Approach for Checking Timed Automata on Continuous Time Semantics