Church Synthesis Problem for Noisy Input.

Yaron Velner, Alexander Rabinovich

Browse the full FOSSACS paper archive.