52 citations · 149 across the 34 of their papers we have counts for
4 papers · 1 filter
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…
To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games
Thomas Brihaye, Gilles Geeraerts, Axel Haddad +1
Quantitative games are two-player zero-sum games played on directed weighted graphs. Total-payoff games (that can be seen as a refinement of the well-studied mean-payoff games) are…
On MITL and alternating timed automata over infinite words
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts
One clock alternating timed automata (OCATA) have been introduced as natural extension of (one clock) timed automata to express the semantics of MTL. In this paper, we consider the…
Adding Negative Prices to Priced Timed Games
Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna +3
Priced timed games (PTGs) are two-player zero-sum games played on the infinite graph of configurations of priced timed automata where two players take turns to choose transitions i…