Provably safe autonomous navigation

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.
Simulation Environment for autonomous vehicles

Simulation Environment for autonomous vehicles