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 GB
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

ASJC Scopus subject areas

Software

Cite this

@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: 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 - مقالة من مؤنمر

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

ASJC Scopus subject areas

Other files and links

Cite this