… autonomous and ADAS-based 2 maneuvers [31, 32]. Other successful applications range across medical devices [40, 44], automotive [6, 22, 28, 47], air-traffic management [25], and energy systems [26]. A noteworthy related approach is simulation-driven falsification, which …
CITATION STYLE
Fan, C., & Mitra, S. (2019). Data-Driven Safety Verification of Complex Cyber-Physical Systems. In Design Automation of Cyber-Physical Systems (pp. 107–142). Springer International Publishing. https://doi.org/10.1007/978-3-030-13050-3_5
Mendeley helps you to discover research relevant for your work.