CaltechAUTHORS
  A Caltech Library Service

Items where Person is "Aréchiga-N"

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

2017

Dathathri, Sumanth and Aréchiga, Nikos and Gao, Sicun et al. (2017) Learning-Based Abstractions for Nonlinear Constraint Solving. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence , pp. 592-599. ISBN 978-0-9992411-0-3. http://resolver.caltech.edu/CaltechAUTHORS:20170523-230106516

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

2016

Dathathri, Sumanth and Arechiga, Nikos and Gao, Sicun (2016) Faster Constraint Solving Using Learning Based Abstractions. In: Southern California Machine Learning Symposium, 18 November 2016, Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechAUTHORS:20161118-140826831

This list was generated on Mon Sep 16 14:14:51 2019 PDT.