Compositional Synthesis of Multi-Robot Motion Plans via SMT Solving

  • LTL specification
  • motion planning
  • multi-robot systems
  • SMT solving
  • University of California at Berkeley
  • University of Pennsylvania
  • CPS Domains
  • Robotics
  • CPS Technologies
  • Foundations
  • Composition
  • 2014
  • 2014 CPS-ECP
  • Poster
  • Academia
  • Poster Submissions
  • Posters
Submitted by indranilsaha on