Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171)

Akshay, S.; Finkbeiner, Bernd; Meel, Kuldeep S.; Piskac, Ruzica; Shaw, Arijit

doi:10.4230/DagRep.14.4.85

Document

Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171)

Authors S. Akshay, Bernd Finkbeiner, Kuldeep S. Meel, Ruzica Piskac, Arijit Shaw and all authors of the abstracts in this report

Part of: Issue: Dagstuhl Reports, Volume 14, Issue 4
Part of: Volume: Dagstuhl Reports, Volume 14
Part of: Journal: Dagstuhl Reports (DagRep)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2024-10-07

PDF

File

PDF

DagRep.14.4.85.pdf

Filesize: 2.74 MB
23 pages

Document Identifiers

DOI: 10.4230/DagRep.14.4.85
URN: urn:nbn:de:0030-drops-213515

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)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get 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

Author Details

S. Akshay

Indian Institute of Technology Bombay - Mumbai, IN

Bernd Finkbeiner

CISPA - Saarbrücken, DE

Kuldeep S. Meel

University of Toronto, CA

Ruzica Piskac

Yale University - New Haven, US

Arijit Shaw

Chennai Mathematical Institute, IN & University of Toronto, CA

and all authors of the abstracts in this report

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail