Reasoning-Supported Robustness Validation of Automotive E/E Components.
Jan NovacekAlexander ViehlOliver BringmannWolfgang RosenstielPublished in: ICSC (2017)
Keyphrases
- building blocks
- qualitative reasoning
- knowledge base
- automated reasoning
- knowledge representation
- driver assistance
- computational properties
- reasoning tasks
- expert systems
- search algorithm
- computational efficiency
- bayesian networks
- case study
- search engine
- reasoning process
- data sets
- reasoning systems
- consistency checking
- database