The Church Synthesis Problem Over Continuous Time

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 - Duration: 30 Sep 2023 → …

All Science Journal Classification (ASJC) codes

@article{fdac3af1ad504d85a01cb038f7bfb9b3,

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: 30-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 - http://www.scopus.com/inward/record.url?scp=85174516506&partnerID=8YFLogxK

M3 - مقالة من مؤنمر

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 - 30 September 2023

ER -