DagRep.14.4.85.pdf
- Filesize: 2.74 MB
- 23 pages
Document
Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 14, Issue 4
Volume: Dagstuhl Reports, Volume 14
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2024-10-07
Cite AsGet BibTex
S. Akshay, Bernd Finkbeiner, Kuldeep S. Meel, Ruzica Piskac, and Arijit Shaw. Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171). In Dagstuhl Reports, Volume 14, Issue 4, pp. 85-107, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/DagRep.14.4.85
https://doi.org/10.4230/DagRep.14.4.85
Abstract
This report summarizes the program of Dagstuhl Seminar 24171 on "Automated Synthesis: Functional, Reactive and Beyond". The seminar brought together researchers working on different aspects of functional synthesis and investigated its relationship with reactive synthesis. Through multiple expository tutorials, diverse technical talks, and multiple open discussion sessions, the seminar crystallized the current challenges for theory and tools in this area and opened fresh directions towards new applications.
Subject Classification
ACM Subject Classification
- Computing methodologies
- Theory of computation → Logic
Keywords
- automated synthesis
- boolean functions
- knowledge representations
- reactive synthesis
- SAT/SMT solvers
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads