4 citations · 14 across the 7 of their papers we have counts for
3 papers · 1 filter
Towards Safety Verification of Direct Perception Neural Networks
Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner +1
We study the problem of safety verification of direct perception neural networks, where camera images are used as inputs to produce high-level features for autonomous vehicles to m…
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems
Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka
Systematically testing models learned from neural networks remains a crucial unsolved barrier to successfully justify safety for autonomous vehicles engineered using data-driven ap…
Coverage Games for Testing Nondeterministic Systems
Farn Wang, Jung-Hsuan Wu, Sven Schewe +1
Modern software systems may exhibit a nondeterministic behavior due to many unpredictable factors. In this work, we propose the node coverage game, a two player turn-based game pla…