59 citations · 138 across the 23 of their papers we have counts for
4 papers · 1 filter
A Delayed Promotion Policy for Parity Games
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Parity games are two-player infinite-duration games on graphs that play a crucial role in various fields of theoretical computer science. Finding efficient algorithms to solve thes…
Proceedings 2nd International Workshop on Strategic Reasoning
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
This volume contains the proceedings of the 2nd International Workshop on Strategic Reasoning 2014 (SR 2014), held in Grenoble (France), April 5-6, 2014. The SR workshop aims to br…
Proceedings 1st International Workshop on Strategic Reasoning
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
This volume contains the proceedings of the 1st International Workshop on Strategic Reasoning 2013 (SR 2013), held in Rome (Italy), March 1617, 2013. The SR workshop aims to bring…
Quantitative Fairness Games
Alessandro Bianco, Marco Faella, Fabio Mogavero +1
We consider two-player games played on finite colored graphs where the goal is the construction of an infinite path with one of the following frequency-related properties: (i) all…