Issue 2-3/2022
Special issue on 'Synthesis Progress'
Content (7 Articles)
Preface for the formal methods in system design special issue on SYNT 2021
Elizabeth Polgreen, Guillermo Alberto Perez
Open Access
Finite-trace and generalized-reactivity specifications in temporal synthesis
Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu
Open Access
Enhancing active model learning with equivalence checking using simulation relations
Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening
Open Access
Synbit: synthesizing bidirectional programs using unidirectional sketches
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang
Dissecting ltlsynt
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
Church synthesis on register automata over linearly ordered data domains
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
Symbolic encoding of LL(1) parsing and its applications
Pankaj Kumar Kalita, Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy