https://www.dagstuhl.de/23391

24. – 29. September 2023, Dagstuhl-Seminar 23391

The Futures of Reactive Synthesis

Organisatoren

Nathanael Fijalkow (University of Bordeaux, FR)
Bernd Finkbeiner (CISPA – Saarbrücken, DE)
Guillermo A. Pérez (University of Antwerp, BE)
Elizabeth Polgreen (University of Edinburgh, GB)

Auskunft zu diesem Dagstuhl-Seminar erteilen

Susanne Bach-Bernhard zu administrativen Fragen

Marsha Kleinbauer zu wissenschaftlichen Fragen

Motivation

Reactive systems are computer systems that maintain a continuous interaction with their environment. These include, for example, hardware circuits, communication protocols, or embedded controllers. Reactive synthesis is the task of constructing such systems automatically from logical specifications. Because synthesis eliminates the need for a manual implementation, it has the potential to revolutionize the development process for reactive systems. And indeed, synthesis has, over the past few years, found applications in several areas of systems engineering, notably in the construction of circuits and device drivers and in the synthesis of controllers for robots and manufacturing plants.

Rooted in automata theory and logic, reactive synthesis has been actively investigated since its inception by Alonzo Church more than fifty years ago. In the past decade the successful SYNTCOMP academic competition has been driving theoretical and practical progress. This has led to very efficient implementations of the existing techniques.

We believe that the next steps for reactive synthesis will require new insights, data structures, and approaches that may lead to considerable improvements. In this endeavor we will discuss the potential of neural-symbolic computation and more generally machine learning techniques, template-based solving in the context of constraint programming, symbolic algorithms, and connections to program synthesis and in particular Syntax Guided Synthesis

Motivation text license
  Creative Commons BY 4.0
  Nathanael Fijalkow, Bernd Finkbeiner, Guillermo A. Pérez, and Elizabeth Polgreen

Classification

  • Artificial Intelligence
  • Formal Languages And Automata Theory
  • Programming Languages

Keywords

  • Reactive synthesis
  • Program synthesis
  • Temporal synthesis
  • Program verification

Dokumentation

In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.

 

Download Übersichtsflyer (PDF).

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.

Publikationen

Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.