68 citations · 246 across the 19 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2014★ 52 cited
Stochastic Timed Automata
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye +4
A stochastic timed automaton is a purely stochastic process defined on a timed automaton, in which both delays and discrete choices are made randomly. We study the almost-sure mode…
cs.LO2013
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…