DagRep.13.9.166.pdf
- Filesize: 2.6 MB
- 19 pages
Document
The Futures of Reactive Synthesis (Dagstuhl Seminar 23391)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 13, Issue 9
Volume: Dagstuhl Reports, Volume 13
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2024-03-27
Cite AsGet BibTex
Nathanaël Fijalkow, Bernd Finkbeiner, Guillermo A. Pérez, Elizabeth Polgreen, and Rémi Morvan. The Futures of Reactive Synthesis (Dagstuhl Seminar 23391). In Dagstuhl Reports, Volume 13, Issue 9, pp. 166-184, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/DagRep.13.9.166
https://doi.org/10.4230/DagRep.13.9.166
Abstract
The Dagstuhl Seminar 23391 "The Futures of Reactive Synthesis" held in September 2023 was meant to gather neighbouring communities on a joint goal: Reactive Synthesis. We identified five trends: neural-symbolic computation, template-based solving for constraint programming, symbolic algorithms, syntax-guided synthesis, and model learning; and the objective was to discuss the potential futures of the field.
Subject Classification
ACM Subject Classification
- Computing methodologies → Artificial intelligence
- Theory of computation → Formal languages and automata theory
- Computing methodologies → Parallel programming languages
Keywords
- program synthesis
- program verification
- reactive synthesis
- temporal synthesis
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads