The Church Synthesis Problem Over Continuous Time

Alexander Rabinovich, Daniel Fattal

Research output: Contribution to journalConference articlepeer-review

Original languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume390
StatePublished - 30 Sep 2023
Event14th International Symposium on Games, Automata, Logics, and Formal Verification, G and ALF 2023 - Udine, Italy
Duration: 18 Sep 202320 Sep 2023

Cite this