Technical Reports - Claire Tomlin

A Learning-Based Approach to Safety for Uncertain Robotic Systems (EECS-2018-41)
Anayo Akametalu

High Dimensional Reachability Analysis: Addressing the Curse of Dimensionality in Formal Verification (EECS-2017-132)
Mo Chen

B.S. (EECS-2016-184)
Datong Paul Zhou and Claire Tomlin

Regularization-Based Identification for Level Set Equations (EECS-2013-156)
Insoon Yang and Claire Tomlin

Statistical Results on Filtering and Epi-convergence for Learning-Based Model Predictive Control (EECS-2011-153)
Anil Aswani, Humberto Gonzalez, S. Shankar Sastry and Claire Tomlin

A Dynamic Game Framework for Verification and Control of Stochastic Hybrid Systems (EECS-2011-101)
Jerry Ding, Maryam Kamgarpour, Sean Summers, Alessandro Abate, John Lygeros and Claire Tomlin

Optimization-based Inference for Temporally Evolving Boolean Networks with Applications in Biology (EECS-2010-133)
Young-Hwan Chang, Joe Gray and Claire Tomlin

A Descent Algorithm for the Optimal Control of Constrained Nonlinear Switched Dynamical Systems: Appendix (EECS-2010-9)
Humberto Gonzalez, Ram Vasudevan, Maryam Kamgarpour, S. Shankar Sastry, Ruzena Bajcsy and Claire Tomlin