Volume 57, Issue 1-2

Search all Acta Informatica articles

April 2020

Special Issue on Synthesis

11 articles in this issue

Preface for the SYNT
Roderick Bloem
Paulo Tabuada
Editorial 30 November 2019 Pages: 1 - 1
Practical synthesis of reactive systems from LTL specifications via parity games
Michael Luttenberger
Philipp J. Meyer
Salomon Sickert
Original Article 21 November 2019 Pages: 3 - 36
Performance heuristics for GR(1) synthesis and related algorithms
Elizabeth Firman
Shahar Maoz
Jan Oliver Ringert
Original Article Open access 05 December 2019 Pages: 37 - 79
A symbolic algorithm for lazy synthesis of eager strategies
Swen Jacobs
Mouhammad Sakr
Original Article 04 October 2019 Pages: 81 - 106
Reactive synthesis with maximum realizability of linear temporal logic specifications
Rayna Dimitrova
Mahsa Ghasemi
Ufuk Topcu
Original Article 09 November 2019 Pages: 107 - 135
Synthesis from hyperproperties
Bernd Finkbeiner
Christopher Hahn
Leander Tentrup
Original Article Open access 07 December 2019 Pages: 137 - 163
Programming by predicates: a formal model for interactive synthesis
Hila Peleg
Shachar Itzhaky
Eran Yahav
Original Article 30 August 2019 Pages: 165 - 193
Synthesizing optimally resilient controllers
Daniel Neider
Alexander Weinert
Martin Zimmermann
Original Article Open access 31 October 2019 Pages: 195 - 221
Automated formal synthesis of provably safe digital controllers for continuous plants
Alessandro Abate
Iury Bessa
Elizabeth Polgreen
Original Article Open access 06 December 2019 Pages: 223 - 244
Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
Antoine Girard
Gregor Gössler
Original Article 13 September 2019 Pages: 245 - 269
Parameterized synthesis of self-stabilizing protocols in symmetric networks
Nahal Mirzaie
Fathiyeh Faghih
Borzoo Bonakdarpour
Original Article 20 December 2019 Pages: 271 - 304

Volume 57, Issue 1-2

Search

Navigation