Aditya Zutshi 0001, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin. Falsification of safety properties for closed loop control systems. In Antoine Girard, Sriram Sankaranarayanan, editors, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015. pages 299-300, ACM, 2015. [doi]
@inproceedings{0001SDKJ15,
title = {Falsification of safety properties for closed loop control systems},
author = {Aditya Zutshi 0001 and Sriram Sankaranarayanan and Jyotirmoy V. Deshmukh and James Kapinski and Xiaoqing Jin},
year = {2015},
doi = {10.1145/2728606.2728648},
url = {http://doi.acm.org/10.1145/2728606.2728648},
researchr = {https://researchr.org/publication/0001SDKJ15},
cites = {0},
citedby = {0},
pages = {299-300},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
editor = {Antoine Girard and Sriram Sankaranarayanan},
publisher = {ACM},
isbn = {978-1-4503-3433-4},
}