We report on the last four editions of the reactive synthesis competitio...
We study the framework of two-player Stackelberg games played on graphs ...
We study the rational verification problem which consists in verifying t...
In this paper, we study the framework of two-player Stackelberg games pl...
Parity games have been broadly studied in recent years for their applica...