@Article{fijalkow_et_al:DagRep.13.9.166,
author = {Fijalkow, Nathana\"{e}l and Finkbeiner, Bernd and P\'{e}rez, Guillermo A. and Polgreen, Elizabeth and Morvan, R\'{e}mi},
title = {{The Futures of Reactive Synthesis (Dagstuhl Seminar 23391)}},
pages = {166--184},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {9},
editor = {Fijalkow, Nathana\"{e}l and Finkbeiner, Bernd and P\'{e}rez, Guillermo A. and Polgreen, Elizabeth and Morvan, R\'{e}mi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.166},
URN = {urn:nbn:de:0030-drops-198259},
doi = {10.4230/DagRep.13.9.166},
annote = {Keywords: program synthesis, program verification, reactive synthesis, temporal synthesis}
}