Volume 61, Issue 2-3

December 2022

Special issue on 'Synthesis Progress'

Issue Editors:

7 articles in this issue

Preface for the formal methods in system design special issue on SYNT 2021
Elizabeth Polgreen
Guillermo Alberto Perez
EditorialNotes 30 January 2024 Pages: 137 - 138
Finite-trace and generalized-reactivity specifications in temporal synthesis
Giuseppe De Giacomo
Antonio Di Stasio
Shufang Zhu
OriginalPaper Open access 15 March 2023 Pages: 139 - 163
Enhancing active model learning with equivalence checking using simulation relations
Natasha Yogananda Jeppu
Tom Melham
Daniel Kroening
OriginalPaper Open access 06 August 2023 Pages: 164 - 197
Synbit: synthesizing bidirectional programs using unidirectional sketches
Masaomi Yamaguchi
Kazutaka Matsuda
Meng Wang
OriginalPaper Open access 29 January 2024 Pages: 198 - 247
Dissecting ltlsynt
Florian Renkin
Philipp Schlehuber-Caissier
Adrien Pommellet
OriginalPaper 14 July 2023 Pages: 248 - 289
Church synthesis on register automata over linearly ordered data domains
Léo Exibard
Emmanuel Filiot
Ayrat Khalimov
OriginalPaper 10 October 2023 Pages: 290 - 337
Symbolic encoding of LL(1) parsing and its applications
Pankaj Kumar Kalita
Dhruv Singal
Subhajit Roy
OriginalPaper 22 June 2023 Pages: 338 - 379

Search