Search

• < Previous
• 1
• Next >

---

O-Minimal Hybrid Reachability Games

Patricia Bouyer ; Thomas Brihaye ; Fabrice Chevalier.

In this paper, we consider reachability games over general hybrid systems, and distinguish between two possible observation frameworks for those games: either the precise dynamics of the system is seen by the players (this is the perfect observation framework), or only the starting point and the&nbsp;[&hellip;]

---

One-Clock Priced Timed Games with Negative Weights

Thomas Brihaye ; Gilles Geeraerts ; Axel Haddad ; Engel Lefaucheux ; Benjamin Monmege.

Priced timed games are two-player zero-sum games played on priced timed automata (whose locations and transitions are labeled by weights modelling the cost of spending time in a state and executing an action, respectively). The goals of the players are to minimise and maximise the cost to reach a&nbsp;[&hellip;]

---