8 citations · 29 across the 12 of their papers we have counts for
1 paper · 1 filter
Alexander Lieb, Malte Lochau
Timed automata provide a modeling formalism for time-critical properties of reactive systems with discrete-state/continuous-time behaviors. To handle the infinite state space of ti…