6 citations · 14 across the 10 of their papers we have counts for
1 paper · 1 filter
Étienne André, Sarah Dépernet, Engel Lefaucheux
Timed automata are an extension of finite automata that can measure and react to the passage of time, handling real-time constraints by using clocks. The timed opacity problem, whe…