Sampling-based algorithms for optimal motion planning using process algebra specifications | IEEE Conference Publication | IEEE Xplore