@inproceedings{kaleeswaran2019towards,

title = {Towards Integrating Ontologies into Verification for Autonomous Đriving},

author = {Arut Prakash Kaleeswaran and Arne Nordmann and Anees ul Mehdi},

editor = {Mari Carmen Suárez-Figueroa and Gong Cheng and Anna Lisa Gentile and Christophe Guéret and Maria C Keet and Abraham Bernstein},

url = {http://dblp.uni-trier.de/db/conf/semweb/iswc2019p.html#KaleeswaranNM19},

year  = {2019},

date = {2019-01-01},

urldate = {2019-01-01},

booktitle = {ISWC Satellites},

volume = {2456},

pages = {319--320},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

crossref = {conf/semweb/2019p},

keywords = {dblp},

pubstate = {published},

tppubtype = {inproceedings}

}