@article{https___doi.org_10.4230_dagrep.13.9.166,
    doi = {10.4230/DAGREP.13.9.166},
    url = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.166},
    author = {Fijalkow, Nathanaël and Finkbeiner, Bernd and Pérez, Guillermo A. and Polgreen, Elizabeth and Morvan, Rémi},
    keywords = {program synthesis, program verification, reactive synthesis, temporal synthesis, Computing methodologies → Artificial intelligence, Theory of computation → Formal languages and automata theory, Computing methodologies → Parallel programming languages},
    language = {en},
    title = {The Futures of Reactive Synthesis (Dagstuhl Seminar 23391)},
    publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
    year = {2024},
    copyright = {Creative Commons Attribution 4.0 International license},
    date-added = {2024-3-30 9:22:23 +0100}
}

@article{https___doi.org_10.4230_dagrep.13.9.166, doi = {10.4230/DAGREP.13.9.166}, url = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.166}, author = {Fijalkow, Nathanaël and Finkbeiner, Bernd and Pérez, Guillermo A. and Polgreen, Elizabeth and Morvan, Rémi}, keywords = {program synthesis, program verification, reactive synthesis, temporal synthesis, Computing methodologies → Artificial intelligence, Theory of computation → Formal languages and automata theory, Computing methodologies → Parallel programming languages}, language = {en}, title = {The Futures of Reactive Synthesis (Dagstuhl Seminar 23391)}, publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, year = {2024}, copyright = {Creative Commons Attribution 4.0 International license}, date-added = {2024-3-30 9:22:23 +0100} }