Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems. - Amit Bhatia 001; Emilio Frazzoli (HSCC, 2004)

Resolution-complete safety falsification of continuous time systems. - Amit Bhatia 001; Emilio Frazzoli (CDC, 2006)

Sampling-based resolution-complete safety falsification of linear hybrid systems. - Amit Bhatia 001; Emilio Frazzoli (CDC, 2007)

Decentralized algorithm for minimum-time rendezvous of Dubins vehicles. - Amit Bhatia 001; Emilio Frazzoli (ACC, 2008)

Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems. - Amit Bhatia 001; Emilio Frazzoli (HSCC, 2008)

Motion planning with hybrid dynamics and temporal goals. - Amit Bhatia 001; Lydia E. Kavraki; Moshe Y. Vardi (CDC, 2010)

Sampling-based motion planning with temporal goals. - Amit Bhatia 001; Lydia E. Kavraki; Moshe Y. Vardi (ICRA, 2010)

Motion Planning with Complex Goals. - Amit Bhatia 001; Matthew R. Maly; Lydia E. Kavraki; Moshe Y. Vardi (IEEE Robotics Autom. Mag., 2011)

Automated Construction of Knowledge-Bases for Safety Critical Applications: Challenges and Opportunities. - Amit Bhatia 001; Alessandro Pinto (AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering, 2021)