52 citations · 269 across the 38 of their papers we have counts for
1 paper · 1 filter
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye +1
The languages of infinite timed words accepted by timed automata are traditionally defined using Buchi-like conditions. These acceptance conditions focus on the set of locations vi…