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
Number of items: 3.

Book Section

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.

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.

Conference or Workshop Item

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)

This list was generated on Fri Dec 4 10:08:40 2020 PST.