Skip to main content

Acta Informatica

Ausgabe 1-2/2020

Special Issue on Synthesis

Inhalt (11 Artikel)

Editorial

Preface for the SYNT

Roderick Bloem, Paulo Tabuada

Original Article

Practical synthesis of reactive systems from LTL specifications via parity games

Michael Luttenberger, Philipp J. Meyer, Salomon Sickert

Open Access Original Article

Performance heuristics for GR(1) synthesis and related algorithms

Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert

Original Article

A symbolic algorithm for lazy synthesis of eager strategies

Swen Jacobs, Mouhammad Sakr

Original Article

Reactive synthesis with maximum realizability of linear temporal logic specifications

Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu

Open Access Original Article

Synthesis from hyperproperties

Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup

Original Article

Programming by predicates: a formal model for interactive synthesis

Hila Peleg, Shachar Itzhaky, Sharon Shoham, Eran Yahav

Open Access Original Article

Synthesizing optimally resilient controllers

Daniel Neider, Alexander Weinert, Martin Zimmermann

Open Access Original Article

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

Original Article

Parameterized synthesis of self-stabilizing protocols in symmetric networks

Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour