699 citations
- Centre National de la Recherche ScientifiqueFR32 papers
- Max Planck Institute for InformaticsDE31 papers
- German Research Centre for Artificial IntelligenceDE21 papers
- Karlsruhe Institute of TechnologyDE16 papers
- Forschungszentrum JülichDE14 papers
- Helmholtz Center for Information SecurityDE14 papers
- RWTH Aachen UniversityDE13 papers
- University of KaiserslauternDE12 papers
- University of StuttgartDE12 papers
- Universitat Autònoma de BarcelonaES11 papers
- ETH ZurichCH10 papers
- Leipzig UniversityDE10 papers
4 papers · 2 filters
The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond
Swen Jacobs, Roderick Bloem
We report on the design of the third reactive synthesis competition (SYNTCOMP 2016), including a major extension of the competition to specifications in full linear temporal logic.…
Bounding Average-energy Games
Patricia Bouyer, Piotr Hofman, Nicolas Markey +2
We consider average-energy games, where the goal is to minimize the long-run average of the accumulated energy. While several results have been obtained on these games recently, de…
The First-Order Logic of Hyperproperties
Bernd Finkbeiner, Martin Zimmermann
We investigate the logical foundations of hyperproperties. Hyperproperties generalize trace properties, which are sets of traces, to sets of sets of traces. The most prominent appl…
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…