@inproceedings{jenkins_et_al:LIPIcs:2011:3239,
  title = "{The Church Synthesis Problem with Metric}",
  author = "Mark Jenkins and Jo{\"e}l Ouaknine and Alexander Rabinovich and James Worrell",
  year = "2011",
  address = "Dagstuhl, Germany",
  annote = "Keywords: Church's Problem, monadic logic, games, uniformization",
  booktitle = "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)",
  url = "http://drops.dagstuhl.de/opus/volltexte/2011/3239",
  volume = "12",
  doi = "10.4230/LIPIcs.CSL.2011.307",
}