Amit Bhatia

According to our database, Amit Bhatia authored at least 9 papers between 2004 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Automated Construction of Knowledge-Bases for Safety Critical Applications: Challenges and Opportunities.

Amit Bhatia, Alessandro Pinto

Proceedings of the AAAI 2021 Spring Symposium on Combining Machine Learning and Knowledge Engineering (AAAI-MAKE 2021), 2021

2011

Motion Planning with Complex Goals.

Amit Bhatia, Matthew R. Maly, Lydia E. Kavraki, Moshe Y. Vardi

IEEE Robotics Autom. Mag., 2011

2010

Sampling-based motion planning with temporal goals.

Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi

Proceedings of the IEEE International Conference on Robotics and Automation, 2010

Motion planning with hybrid dynamics and temporal goals.

Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2008

Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems.

Amit Bhatia, Emilio Frazzoli

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Decentralized algorithm for minimum-time rendezvous of Dubins vehicles.

Amit Bhatia, Emilio Frazzoli

Proceedings of the American Control Conference, 2008

2007

Sampling-based resolution-complete safety falsification of linear hybrid systems.

Amit Bhatia, Emilio Frazzoli

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2006

Resolution-complete safety falsification of continuous time systems.

Amit Bhatia, Emilio Frazzoli

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2004

Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems.

Amit Bhatia, Emilio Frazzoli

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004