Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power

Davide Bresolin, Khaled El-Fakih, Tiziano Villa +1

There has been a growing interest in defining models of automata enriched with time. For instance, timed automata were introduced as automata extended with clocks. In this paper, w…