Search

• < Previous
• 1
• Next >

---

A Robust Class of Data Languages and an Application to Learning

Benedikt Bollig ; Peter Habermehl ; Martin Leucker ; Benjamin Monmege.

We introduce session automata, an automata model to process data words, i.e., words over an infinite alphabet. Session automata support the notion of fresh data values, which are well suited for modeling protocols in which sessions using fresh values are of major interest, like in security protocols&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;]

---

Optimal controller synthesis for timed systems

Damien Busatto-Gaston ; Benjamin Monmege ; Pierre-Alain Reynier.

Weighted timed games are zero-sum games played by two players on a timed automaton equipped with weights, where one player wants to minimise the cumulative weight while reaching a target. Used in a reactive synthesis perspective, this quantitative extension of timed games allows one to measure the&nbsp;[&hellip;]

---