30 citations · 32 across the 12 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 30 cited
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results
Swen Jacobs, Nicolas Basset, Roderick Bloem +11
We report on the fourth reactive synthesis competition (SYNTCOMP 2017). We introduce two new benchmark classes that have been added to the SYNTCOMP library, and briefly describe th…
cs.GT2017
Admissibility in Concurrent Games
Nicolas Basset, Gilles Geeraerts, Jean-François Raskin +1
In this paper, we study the notion of admissibility for randomised strategies in concurrent games. Intuitively, an admissible strategy is one where the player plays `as well as pos…