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
StatePublished - 30 Sep 2023
Event14th International Symposium on Games, Automata, Logics, and Formal Verification, G and ALF 2023 -
Duration: 30 Sep 2023 → …

All Science Journal Classification (ASJC) codes

  • Software

Cite this