@inproceedings{AK14, author = {S. Almagor and O. Kupferman}, title = {Latticed-LTL Synthesis in the Presence of Noisy Inputs}, booktitle = fossacs14, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2014} }