Compositional Synthesis of Multi-Robot Motion Plans via SMT Solving Download pdf Tags: LTL specification motion planning multi-robot systems SMT solving University of California at Berkeley University of Pennsylvania CPS Domains Robotics CPS Technologies Foundations 2014 2014 CPS-ECP Publications Position Paper Academia CFP Paper Submissions CFP Submissions License: CC-2.5 Submitted by indranilsaha on Wed, 02/12/2014 - 14:59