In collaboration with WPI Embedded Computing Laboratory, our team will develop provably safe autonomous navigation by integrating temporal logic planning, nonlinear control, and formal verification. The current research activities include
- Real-time trajectory generation and motion planning.
- Developing provably safe, robust model predictive controller.
- Tactical planning for agents interacting with uncontrollable environments using game-theoretic reactive synthesis.