Login / Signup

An Abstraction-Free Method for Multirobot Temporal Logic Optimal Control Synthesis.

Xusheng LuoYiannis KantarosMichael M. Zavlanos
Published in: IEEE Trans. Robotics (2021)
Keyphrases
  • temporal logic
  • optimal control
  • dynamic programming
  • model checking
  • multi robot
  • computer vision
  • dynamical systems