Alice: An information-rich autonomous vehicle for high-speed desert navigation. - Lars B. Cremean; Tully B. Foote; Jeremy H. Gillula; George H. Hines; Dmitriy Kogan; Kristopher L. Kriechbaum; Jeffrey C. Lamb; Jeremy Leibs; Laura Lindzey; Christopher E. Rasmussen; Alexander D. Stewart; Joel W. Burdick; et al. (J. Field Robotics, 2006)

Stanford Testbed of Autonomous Rotorcraft for Multi-Agent Control. - Gabriel M. Hoffmann; Steven Lake Waslander; Michael P. Vitus; Haomiao Huang; Jeremy H. Gillula; Vijay Pradeep; Claire J. Tomlin (IROS, 2009)

Design and Analysis of Hybrid Systems, with Applications to Robotic Aerial Vehicles. - Jeremy H. Gillula; Haomiao Huang; Michael P. Vitus; Claire J. Tomlin (ISRR, 2009)

Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice. - Jeremy H. Gillula; Haomiao Huang; Michael P. Vitus; Claire J. Tomlin (ICRA, 2010)

Guaranteed safe online learning of a bounded system. - Jeremy H. Gillula; Claire J. Tomlin (IROS, 2011)

Applications of hybrid reachability analysis to robotic aerial vehicles. - Jeremy H. Gillula; Gabriel M. Hoffmann; Haomiao Huang; Michael P. Vitus; Claire J. Tomlin (Int. J. Robotics Res., 2011)

Hybrid Systems in Robotics. - Jerry Ding; Jeremy H. Gillula; Haomiao Huang; Michael P. Vitus; Wei Zhang 013; Claire J. Tomlin (IEEE Robotics Autom. Mag., 2011)

Verification and control of hybrid systems using reachability analysis with machine learning. - Anil Aswani; Jerry Ding; Haomiao Huang; Michael P. Vitus; Jeremy H. Gillula; Patrick Bouffard; Claire J. Tomlin (HSCC, 2012)

Guaranteed Safe Online Learning via Reachability: tracking a ground target using a quadrotor. - Jeremy H. Gillula; Claire J. Tomlin (ICRA, 2012)

Reducing Conservativeness in Safety Guarantees by Learning Disturbances Online: Iterated Guaranteed Safe Online Learning. - Jeremy H. Gillula; Claire J. Tomlin (Robotics: Science and Systems, 2012)

Guaranteeing safe online machine learning via reachability analysis. - Jeremy H. Gillula (2013)

Reachability-based safe learning with Gaussian processes. - Anayo K. Akametalu; Shahab Kaynama; Jaime F. Fisac; Melanie Nicole Zeilinger; Jeremy H. Gillula; Claire J. Tomlin (CDC, 2014)

Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems. - Jeremy H. Gillula; Shahab Kaynama; Claire J. Tomlin (HSCC, 2014)

A sampling-based approach to scalable constraint satisfaction in linear sampled-data systems - Part I: Computation. - Shahab Kaynama; Jeremy H. Gillula; Claire J. Tomlin (CoRR, 2014)

A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems. - Jaime F. Fisac; Anayo K. Akametalu; Melanie N. Zeilinger; Shahab Kaynama; Jeremy H. Gillula; Claire J. Tomlin (IEEE Trans. Autom. Control., 2019)