4 citations · 14 across the 7 of their papers we have counts for
7 papers
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…
nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems
Chih-Hong Cheng, Chung-Hao Huang, Georg Nührenberg
Can engineering neural networks be approached in a disciplined way similar to how engineers build software for civil aircraft? We present nn-dependability-kit, an open-source toolb…
Towards Dependability Metrics for Neural Networks
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang +2
Artificial neural networks (NN) are instrumental in realizing highly-automated driving functionality. An overarching challenge is to identify best safety engineering practices for…
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…
G4LTL-ST: Automatic Generation of PLC Programs
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess +1
G4LTL-ST automatically synthesizes control code for industrial Programmable Logic Controls (PLC) from timed behavioral specifications of input-output signals. These specifications…
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…
Rapid Recovery for Systems with Scarce Faults
Chung-Hao Huang, Doron Peled, Sven Schewe +1
Our goal is to achieve a high degree of fault tolerance through the control of a safety critical systems. This reduces to solving a game between a malicious environment that inject…