The Church Synthesis Problem Over Continuous Time

Alexander Rabinovich; Daniel Fattal

The Church Synthesis Problem Over Continuous Time

Alexander Rabinovich
, Daniel Fattal

Research output: Contribution to journal › Conference article › peer-review

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

Cite this

@article{d2f199cfd0724436b3e07ee44e0b7d30,

title = "The Church Synthesis Problem Over Continuous Time",

author = "Alexander Rabinovich and Daniel Fattal",

year = "2023",

month = sep,

day = "30",

language = "אנגלית",

volume = "390",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "14th International Symposium on Games, Automata, Logics, and Formal Verification, G and ALF 2023 ; Conference date: 18-09-2023 Through 20-09-2023",

}

TY - JOUR

T1 - The Church Synthesis Problem Over Continuous Time

AU - Rabinovich, Alexander

AU - Fattal, Daniel

PY - 2023/9/30

Y1 - 2023/9/30

UR - https://www.scopus.com/pages/publications/85174516506

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???

AN - SCOPUS:85174516506

SN - 2075-2180

VL - 390

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 14th International Symposium on Games, Automata, Logics, and Formal Verification, G and ALF 2023

Y2 - 18 September 2023 through 20 September 2023

ER -

The Church Synthesis Problem Over Continuous Time

Other files and links

Cite this