In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
This paper proposes a new interactive hybrid non-rigid registration framework that combines any intensity-based algorithm with a feature-based component, using an iterative dual e...
Antoine Azar, Chenyang Xu, Xavier Pennec, Nicholas...
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....