[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - Falsification of safety properties for closed loop control systems
Zutshi, Aditya, Sankaranarayanan, Sriram, Deshmukh, Jyotirmoy V., Kapinski, James, Jin, XiaoqingYear:
2015
Language:
english
DOI:
10.1145/2728606.2728648
File:
PDF, 203 KB
english, 2015