Motion planning with hybrid dynamics and temporal goals | IEEE Conference Publication | IEEE Xplore