13 citations · 24 across the 10 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 2 cited
Time-bounded Reachability for Hybrid Automata: Complexity and Fixpoints
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts +3
In this paper, we study thetime-bounded reachability problem for rectangular hybrid automata with non-negative rates (RHA+). This problem was recently shown to be decidable [Brihay…
cs.GT2012
Multiplayer Cost Games with Simple Nash Equilibria
Thomas Brihaye, Julie De Pril, Sven Schewe
Multiplayer games with selfish agents naturally occur in the design of distributed and embedded systems. As the goals of selfish agents are usually neither equivalent nor antagonis…