%0 Journal Article %1 journals/deds/AlmagorK17 %A Almagor, Shaull %A Kupferman, Orna %D 2017 %J Discrete Event Dynamic Systems %K dblp %N 3 %P 547-572 %T Latticed-LTL synthesis in the presence of noisy inputs. %U http://dblp.uni-trier.de/db/journals/deds/deds27.html#AlmagorK17 %V 27

@article{journals/deds/AlmagorK17, added-at = {2018-11-30T00:00:00.000+0100}, author = {Almagor, Shaull and Kupferman, Orna}, biburl = {https://www.bibsonomy.org/bibtex/24aa9a10e5bf56595ec0f03d7bf2ed8e8/dblp}, ee = {https://doi.org/10.1007/s10626-017-0242-0}, interhash = {48572a4c3cab52cdee39e3af03e37bad}, intrahash = {4aa9a10e5bf56595ec0f03d7bf2ed8e8}, journal = {Discrete Event Dynamic Systems}, keywords = {dblp}, number = 3, pages = {547-572}, timestamp = {2018-12-01T11:48:35.000+0100}, title = {Latticed-LTL synthesis in the presence of noisy inputs.}, url = {http://dblp.uni-trier.de/db/journals/deds/deds27.html#AlmagorK17}, volume = 27, year = 2017 }