30 citations · 30 across the 2 of their papers we have counts for
4 papers
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…
Decidability Results for Multi-objective Stochastic Games
Romain Brenguier, Vojtěch Forejt
We study stochastic two-player turn-based games in which the objective of one player is to ensure several infinite-horizon total reward objectives, while the other player attempts…
Optimal Assumptions for Synthesis
Romain Brenguier
Controller synthesis is the process of constructing a correct system automatically from its specification. This often requires assumptions about the behaviour of the environment. I…
Assume-Admissible Synthesis
Romain Brenguier, Jean-François Raskin, Ocan Sankur
In this paper, we introduce a novel rule for synthesis of reactive systems, applicable to systems made of n components which have each their own objectives. It is based on the noti…