34 citations · 174 across the 26 of their papers we have counts for
5 papers · 1 filter
Admissibility in Quantitative Graph Games
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin +1
Admissibility has been studied for games of infinite duration with Boolean objectives. We extend here this study to games of infinite duration with quantitative objectives. First,…
Optimizing Expectation with Guarantees in POMDPs (Technical Report)
Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez +2
A standard objective in partially-observable Markov decision processes (POMDPs) is to find a policy that maximizes the expected discounted-sum payoff. However, such policies may st…
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results
Swen Jacobs, Roderick Bloem, Romain Brenguier +13
We report on the benchmarks, participants and results of the third reactive synthesis competition(SYNTCOMP 2016). The benchmark library of SYNTCOMP 2016 has been extended to benchm…
Compositional Algorithms for Succinct Safety Games
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin +1
We study the synthesis of circuits for succinct safety specifications given in the AIG format. We show how AIG safety specifications can be decomposed automatically into sub specif…
The Second Reactive Synthesis Competition (SYNTCOMP 2015)
Swen Jacobs, Roderick Bloem, Romain Brenguier +8
We report on the design and results of the second reactive synthesis competition (SYNTCOMP 2015). We describe our extended benchmark library, with 6 completely new sets of benchmar…