Luc Larocque

Sampling-Based Motion Planning with μ-Calculus Specifications Without Steering

While using temporal logic specifications with motion planning has been heavily researched, the reliance on having an available steering function is impractical and often suited only to basic problems with linear dynamics. This is because a steering function is a solution to an optimal two-point bou…