Skip to main content

The Church Synthesis Problem with Metric

Mark Jenkins‚ Joël Ouaknine‚ Alexander Rabinovich and James Worrell

Address
Dagstuhl‚ Germany
Annote
Keywords: Church's Problem‚ monadic logic‚ games‚ uniformization
Book Title
Computer Science Logic (CSL'11) − 25th International Workshop/20th Annual Conference of the EACSL
ISBN
978−3−939897−32−3
ISSN
1868−8969
Pages
307–321
Publisher
Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik
Series
Leibniz International Proceedings in Informatics (LIPIcs)
Volume
12
Year
2011