Login / Signup

A framework for multi-robot motion planning from temporal logic specifications.

T. John KooRongqing LiMichael Melholt QuottrupCharles A. CliftonRoozbeh Izadi-ZamanabadiThomas Bak
Published in: Sci. China Inf. Sci. (2012)
Keyphrases
  • temporal logic
  • model checking
  • concurrent systems
  • model checker
  • modal logic
  • satisfiability problem
  • transition systems
  • bounded model checking
  • data flow
  • reactive systems