Ausgabe 1-2/2020
Special Issue on Synthesis
Inhalt (11 Artikel)
Practical synthesis of reactive systems from LTL specifications via parity games
Michael Luttenberger, Philipp J. Meyer, Salomon Sickert
Performance heuristics for GR(1) synthesis and related algorithms
Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
A symbolic algorithm for lazy synthesis of eager strategies
Swen Jacobs, Mouhammad Sakr
Reactive synthesis with maximum realizability of linear temporal logic specifications
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
Synthesis from hyperproperties
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Programming by predicates: a formal model for interactive synthesis
Hila Peleg, Shachar Itzhaky, Sharon Shoham, Eran Yahav
Synthesizing optimally resilient controllers
Daniel Neider, Alexander Weinert, Martin Zimmermann
Automated formal synthesis of provably safe digital controllers for continuous plants
Alessandro Abate, Iury Bessa, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
Antoine Girard, Gregor Gössler
Parameterized synthesis of self-stabilizing protocols in symmetric networks
Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour