DRYVR: Data-driven verification and compositional reasoning for automotive systems.
Chuchu FanBolun QiSayan MitraMahesh ViswanathanPublished in: CoRR (2017)
Keyphrases
- data driven
- reasoning systems
- artificial intelligence
- intelligent systems
- machine learning
- diagnostic systems
- domain knowledge
- qualitative reasoning
- computer systems
- building blocks
- formal methods
- reason maintenance
- verification method
- safety critical
- spatial reasoning
- management system
- expert systems
- knowledge base
- decision making
- information systems
- learning algorithm