2026-07-23T22:38:23Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:21351 2026-04-20T12:51:19Z ddc:004 open_access

Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171) Akshay, S. Finkbeiner, Bernd Meel, Kuldeep S. Piskac, Ruzica Shaw, Arijit automated synthesis boolean functions knowledge representations reactive synthesis SAT/SMT solvers 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik S. Akshay and Bernd Finkbeiner and Kuldeep S. Meel and Ruzica Piskac and Arijit Shaw 2024 Is Part Of Dagstuhl Reports, Volume 14, Issue 4 (2024) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.14.4.85 urn:nbn:de:0030-drops-213515 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.4.85 eng https://creativecommons.org/licenses/by/4.0/legalcode