%0 Journal Article %1 journals/corr/abs-1905-11157 %A Pandya, Paritosh K. %A Wakankar, Amol %D 2019 %J CoRR %K dblp %T Specification and Reactive Synthesis of Robust Controllers. %U http://dblp.uni-trier.de/db/journals/corr/corr1905.html#abs-1905-11157 %V abs/1905.11157

@article{journals/corr/abs-1905-11157, added-at = {2019-06-03T00:00:00.000+0200}, author = {Pandya, Paritosh K. and Wakankar, Amol}, biburl = {https://www.bibsonomy.org/bibtex/25edd6b8fe8a0fa5e90fda66d71d56b78/dblp}, ee = {http://arxiv.org/abs/1905.11157}, interhash = {a4e2f37758fcd78b6f0c0aec4e86dd93}, intrahash = {5edd6b8fe8a0fa5e90fda66d71d56b78}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-06-04T12:19:51.000+0200}, title = {Specification and Reactive Synthesis of Robust Controllers.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1905.html#abs-1905-11157}, volume = {abs/1905.11157}, year = 2019 }