A Caltech Library Service

Items where Person is "Vernekar-S"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | First Author | No Grouping
Number of items: 1.

Aréchiga, Nikos and Dathathri, Sumanth and Vernekar, Shashank et al. (2017) Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables. In: Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles. Association for Computing Machinery , New York, NY, pp. 11-18. ISBN 978-1-4503-4976-5.

This list was generated on Fri Jan 17 03:24:35 2020 PST.