1 paper
Huanfei Zheng, Jonathon M. Smereka, Dariusz Mikulski +2
Multi-robot bounding overwatch requires timely coordination of robot team members. Symbolic motion planning (SMP) can provide provably correct solutions for robot motion planning w…