A Caltech Library Service

Items where Person is "Vernekar-S"

Group by: Date | Item Type | First Author | No Grouping

Jump to: A

Number of items: 1.

A

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. http://resolver.caltech.edu/CaltechAUTHORS:20170313-163356916

This list was generated on Fri Sep 20 02:50:06 2019 PDT.

CaltechAUTHORS is powered by EPrints 3.3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.