19 citations · 20 across the 2 of their papers we have counts for
3 papers · 1 filter
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
Swen Jacobs, Guillermo A. Perez, Remco Abraham +22
We report on the last four editions of the reactive synthesis competition (SYNTCOMP 2018-2021). We briefly describe the evaluation scheme and the experimental setup of SYNTCOMP. Th…
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…
Pareto-Rational Verification
Véronique Bruyère, Jean-François Raskin, Clément Tamines
We study the rational verification problem which consists in verifying the correctness of a system executing in an environment that is assumed to behave rationally. We consider the…