A sampling-based strategy planner for nondeterministic hybrid systems | IEEE Conference Publication | IEEE Xplore