52 citations · 149 across the 34 of their papers we have counts for
3 papers · 1 filter
Emptiness and Universality Problems in Timed Automata with Positive Frequency
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…
On MITL and alternating timed automata
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts
One clock alternating timed automata OCATA have been recently introduced as natural extension of (one clock) timed automata to express the semantics of MTL (Ouaknine, Worrell 2005)…
Simple strategies for Banach-Mazur games and fairly correct systems
Thomas Brihaye, Quentin Menet
In 2006, Varacca and Völzer proved that on finite graphs, omega-regular large sets coincide with omega-regular sets of probability 1, by using the existence of positional strategie…