Towards Integrating Ontologies into Verification for Autonomous Driving.

Arut Prakash Kaleeswaran Arne Nordmann Anees ul Mehdi

Published in: ISWC (Satellites) (2019)

Keyphrases

autonomous driving
grand challenge
stereo vision
semantic web
urban traffic
model checking
knowledge base
vision algorithms