Our research group integrates control theory, formal methods, and game theory to construct robust and provably correct autonomous robots and cyber-physical systems with a holistic dynamic and epistemic model of the world.

  • Control theory + Formal methods: “Given the dynamic, uncontrollable environment of the robot, how to make intelligent decisions to achieve the task in high-level temporal logic”
  • Control theory + Learning: “Given a stochastic system with unknown dynamics, how to adapt the control strategy to achieve the optimal performance?”
  • Formal methods+ Game theory: “In the presence of adversarial environments, how to leverage the asymmetric information to ensure the security and safety of the robotic systems?” “How to incorporate game-theory and formal methods for intelligent reasoning and planning  in cooperative and noncooperative environments?”

Please navigate to project items for more information for individual projects.