@inproceedings{Zutshi2015,
 author = {Zutshi, Aditya and Sankaranarayanan, Sriram and Deshmukh, Jyotirmoy V. and Kapinski, James and Jin, Xiaoqing},
 title = {Falsification of Safety Properties for Closed Loop Control Systems},
 booktitle = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control},
 series = {HSCC '15},
 year = {2015},
 isbn = {978-1-4503-3433-4},
 pages = {299--300},
 numpages = {2},
 publisher = {ACM},
}