User:Romain.brenguier/Timed automata

Timed automata are an extension of finite automata with dense time and timing constraints.

Informal description
A timed automaton has a set of clocks. It is supposed to run on timed words.