Last modified date: 04/08/2023

Anytime and Scalable Planning Function Approximation meets Important Sampling

Darpa Robotics Challenge

Formal methods+ game theory for security in cyber and physical systems

Learning-based planning with temporal logic constraints

My research is supported by the following: