The Church Synthesis Problem with Metric.

Mark Jenkins, Jol Ouaknine, Alexander Rabinovich, James Worrell

Browse the full CSL paper archive.