 | 2012 |
| 7 |  | Anil Aswani,
Jerry Ding,
Haomiao Huang,
Michael P. Vitus,
Jeremy H. Gillula,
Patrick Bouffard,
Claire Tomlin:
Verification and control of hybrid systems using reachability analysis with machine learning.
HSCC 2012: 1-2 |
| 2011 |
| 6 |  | Jeremy H. Gillula,
Claire J. Tomlin:
Guaranteed safe online learning of a bounded system.
IROS 2011: 2979-2984 |
| 5 |  | Jeremy H. Gillula,
Gabriel Hoffmann,
Haomiao Huang,
Michael P. Vitus,
Claire J. Tomlin:
Applications of hybrid reachability analysis to robotic aerial vehicles.
I. J. Robotic Res. 30(3): 335-354 (2011) |
| 2010 |
| 4 |  | Jeremy H. Gillula,
Haomiao Huang,
Michael P. Vitus,
Claire J. Tomlin:
Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice.
ICRA 2010: 1649-1654 |
| 2009 |
| 3 |  | Gabriel Hoffmann,
Steven Lake Waslander,
Michael P. Vitus,
Haomiao Huang,
Jeremy H. Gillula,
Vijay Pradeep,
Claire J. Tomlin:
Stanford Testbed of Autonomous Rotorcraft for Multi-Agent Control.
IROS 2009: 404-405 |
| 2 |  | Jeremy H. Gillula,
Haomiao Huang,
Michael P. Vitus,
Claire J. Tomlin:
Design and Analysis of Hybrid Systems, with Applications to Robotic Aerial Vehicles.
ISRR 2009: 139-149 |
| 2006 |
| 1 |  | 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,
Richard M. Murray:
Alice: An information-rich autonomous vehicle for high-speed desert navigation.
J. Field Robotics 23(9): 777-810 (2006) |