Visible to the public Compositional Synthesis of Multi-Robot Motion Plans via SMT Solving

Submitted by indranilsaha on Fri, 05/16/2014 - 5:24pm. Contributor:
License: 
Creative Commons 2.5

Other available formats:

Compositional Synthesis of Multi-Robot Motion Plans via SMT Solving
Switch to experimental viewer