Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
—A new approach to robot path planning using hyperboloid potential functions is presented in this paper. Unlike parabolic potential functions, where the control force increases w...
Abstract—We present a motion planning algorithm that computes rough trajectories used by a contact-points planner as a guide to grow its search graph. We adapt collision-free mot...
Abstract— This paper investigates a novel procedure to calculate smooth interpolation curves of the rotation group SO3, which is commonly considered as the standard representatio...
In future planetary exploration missions, rovers will be required to autonomously traverse challenging environments. Much of the previous work in robot motion planning cannot be s...