The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results

Autor: Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 229, Iss Proc. SYNT 2016, Pp 149-177 (2016)

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 benchmarks in the new LTL-based temporal logic synthesis format (TLSF), and

Externí odkaz: https://doaj.org/article/aaccd15b40d741e083b82d2c6cd3e043

The Second Reactive Synthesis Competition (SYNTCOMP 2015)

Autor: Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 202, Iss Proc. SYNT 2015, Pp 27-57 (2016)

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 benchmarks, and additional challenging instances for 4 of the benchmark sets t

Externí odkaz: https://doaj.org/article/a9c45a590c8c4abeb527d9ec981ba822

Pure Nash Equilibria in Concurrent Deterministic Games

Autor: Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels

Publikováno v: Logical Methods in Computer Science, Vol Volume 11, Issue 2 (2015)

We study pure-strategy Nash equilibria in multi-player concurrent deterministic games, for a variety of preference relations. We provide a novel construction, called the suspect game, which transforms a multi-player concurrent game into a two-player

Externí odkaz: https://doaj.org/article/85eee5656e9e4062b9e3a5ec062b2097

Decidability Results for Multi-objective Stochastic Games

Autor: Vojtěch Forejt, Romain Brenguier

Publikováno v: Automated Technology for Verification and Analysis ISBN: 9783319465197
ATVA

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 to spoil at least one of the objectives. The games have previously bee

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a3b6d934f180df5690971d720c956f57
http://arxiv.org/abs/1605.03811

Assume-admissible synthesis

Autor: Jean-François Raskin, Ocan Sankur, Romain Brenguier

Publikováno v: Acta Informatica
Acta Informatica, Springer Verlag, 2016, ⟨10.1007/s00236-016-0273-2⟩
26th International Conference on Concurrency Theory (CONCUR 2015)
26th International Conference on Concurrency Theory (CONCUR 2015), Sep 2015, Madrid, Spain. pp.100--113, ⟨10.4230/LIPIcs.CONCUR.2015.100⟩
Acta Informatica, 2016, ⟨10.1007/s00236-016-0273-2⟩

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 notion of admissible strategies. We compare our novel rule with previous r

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2700f8a141dab9e59de73f03337f437c
https://hal.inria.fr/hal-01373538/file/aa.pdf