Items where Person is "Vernekar-S"
Jump to: A Number of items: 2. AArichega, Nikos and Dathathri, Sumanth and Vernekar, Shashank et al. (2017) Fast Automatic Verification of Large-Scale Systems with Lookup Tables. . (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20200131-144053728 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. https://resolver.caltech.edu/CaltechAUTHORS:20170313-163356916 |