1 citations · 3 across the 3 of their papers we have counts for
3 papers
Controller Synthesis for Parametric Timed Games
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci +1
We present a (semi)-algorithm to compute winning strategies for parametric timed games. Previous algorithms only synthesized constraints on the clock parameters for which the game…
On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version)
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci +1
Parametric Timed Games (PTG) are an extension of the model of Timed Automata. They allow for the verification and synthesis of real-time systems, reactive to their environmeand dep…
Stackelberg-Pareto Synthesis (Extended Version)
Véronique Bruyère, Baptiste Fievet, Jean-François Raskin +1
We study the framework of two-player Stackelberg games played on graphs in which Player 0 announces a strategy and Player 1 responds rationally with a strategy that is an optimal r…