4 papers
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…
DeepAbstract: Neural Network Abstraction for Accelerating Verification
Pranav Ashok, Vahid Hashemi, Jan Křetínský +1
While abstraction is a classic tool of verification to scale it up, it is not used very often for verifying neural networks. However, it can help with the still open task of scalin…
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…
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters
Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi +1
Markov decision processes (MDPs) are a popular model for performance analysis and optimization of stochastic systems. The parameters of stochastic behavior of MDPs are estimates fr…