Guaranteeing reactive high-level behaviors for robots with complex dynamics | IEEE Conference Publication | IEEE Xplore