Paritosh K. Pandya, Amol Wakankar. Logical specification and uniform synthesis of robust controllers. In Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo, editors, Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019. ACM, 2019. [doi]
@inproceedings{PandyaW19,
title = {Logical specification and uniform synthesis of robust controllers},
author = {Paritosh K. Pandya and Amol Wakankar},
year = {2019},
doi = {10.1145/3359986.3361213},
url = {https://doi.org/10.1145/3359986.3361213},
researchr = {https://researchr.org/publication/PandyaW19},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019},
editor = {Partha S. Roop and Naijun Zhan and Sicun Gao and Pierluigi Nuzzo},
publisher = {ACM},
isbn = {978-1-4503-6997-8},
}