Reachability calculations for automated aerial refueling. - Jerry Ding; Jonathan Sprinkle; S. Shankar Sastry; Claire J. Tomlin (CDC, 2008)

Trajectory optimization in convex underapproximations of safe regions. - Jerry Ding; Claire J. Tomlin (CDC, 2009)

Robust reach-avoid controller synthesis for switched nonlinear systems. - Jerry Ding; Claire J. Tomlin (CDC, 2010)

Guaranteed decentralized pursuit-evasion in the plane with multiple pursuers. - Haomiao Huang; Wei Zhang 013; Jerry Ding; Dusan M. Stipanovic; Claire J. Tomlin (CDC/ECC, 2011)

Discrete time stochastic hybrid dynamical games: Verification & controller synthesis. - Maryam Kamgarpour; Jerry Ding; Sean Summers; Alessandro Abate; John Lygeros; Claire J. Tomlin (CDC/ECC, 2011)

Reachability-based synthesis of feedback policies for motion planning under bounded disturbances. - Jerry Ding; Eugene Li; Haomiao Huang; Claire J. Tomlin (ICRA, 2011)

A differential game approach to planning in adversarial scenarios: A case study on capture-the-flag. - Haomiao Huang; Jerry Ding; Wei Zhang 013; Claire J. Tomlin (ICRA, 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)

Pursuit, evasion and defense in the plane. - Selina Pan; Haomiao Huang; Jerry Ding; Wei Zhang 013; Dusan M. Stipanovic; Claire J. Tomlin (ACC, 2012)

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)

Time-optimal multi-stage motion planning with guaranteed collision avoidance via an open-loop game formulation. - Ryo Takei; Haomiao Huang; Jerry Ding; Claire J. Tomlin (ICRA, 2012)

Methods for Reachability-based Hybrid Controller Design. - Jerry Ding (2012)

Optimal control of partially observable discrete time stochastic hybrid systems for safety specifications. - Jerry Ding; Alessandro Abate; Claire J. Tomlin (ACC, 2013)

A stochastic games framework for verification and control of discrete time stochastic hybrid systems. - Jerry Ding; Maryam Kamgarpour; Sean Summers; Alessandro Abate; John Lygeros; Claire J. Tomlin (Autom., 2013)

Automation-Assisted Capture-the-Flag: A Differential Game Approach. - Haomiao Huang; Jerry Ding; Wei Zhang 013; Claire J. Tomlin (IEEE Trans. Control. Syst. Technol., 2015)

Cooperative pursuit with Voronoi partitions. - Zhengyuan Zhou; Wei Zhang 013; Jerry Ding; Haomiao Huang; Dusan M. Stipanovic; Claire J. Tomlin (Autom., 2016)

Trajectory optimization with inter-sample obstacle avoidance via successive convexification. - Daniel Dueri; Yuanqi Mao; Zohaib Mian; Jerry Ding; Behçet Açikmese (CDC, 2017)

SLO Computational Sprinting. - Nathaniel Morris; Indrajeet Saravanan; Pollyanna Cao; Jerry Ding; Christopher Stewart (SoCC, 2018)

Efficient path planning algorithms in reach-avoid problems. - Zhengyuan Zhou; Jerry Ding; Haomiao Huang; Ryo Takei; Claire J. Tomlin (Autom., 2018)

A Scale-based Interest Operator for Autonomous Robotic Exploration. - Brigid A. Blakeslee; Edward W. Tunstel; Jerry Ding; Julian Ryde (SMC, 2019)

Coupling Deep Discriminative and Generative Models for Reactive Robot Planning in Human-Robot Collaboration. - Olusegun Oshin; Edgar A. Bernal; Binu M. Nair; Jerry Ding; Richa Varma; Richard W. Osborne; Eddie Tunstel; Francesca Stramandinoli (SMC, 2019)