Showing cs.SEShow all
2 papers · 1 filter
cs.SE2020
Towards a Systems Engineering based Automotive Product Engineering Process
Hassan Hage, Vahid Hashemi, Frank Mantwill
Deficit and redundancies in existing automotive product development hinder a systems engineering based development. In this paper we discuss a methodical procedure to eliminate def…
cs.SE2019
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…