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 Composition 2014 2014 CPS-ECP Poster Academia Poster Submissions Posters License: CC-2.5 Submitted by indranilsaha on Fri, 05/16/2014 - 16:24