Model-based testing of real-time adaptive motion planning (RAMP) | IEEE Conference Publication | IEEE Xplore