Original language | English |
---|---|
Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
Volume | 390 |
State | Published - 30 Sep 2023 |
Event | 14th International Symposium on Games, Automata, Logics, and Formal Verification, G and ALF 2023 - Udine, Italy Duration: 18 Sep 2023 → 20 Sep 2023 |
The Church Synthesis Problem Over Continuous Time
Alexander Rabinovich, Daniel Fattal
Research output: Contribution to journal › Conference article › peer-review