DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems.

Chuchu Fan Bolun Qi Sayan Mitra Mahesh Viswanathan

Published in: CAV (1) (2017)

Keyphrases

data driven
reasoning systems
reason maintenance
formal methods
management system
neural network
knowledge based systems
complex systems
learning systems
information systems
knowledge acquisition
distributed systems
finite state machines
spatial reasoning
web services
automated reasoning
knowledge base