Footstep Planning with Encoded Linear Temporal Logic Specifications

Vikram Ramanathan

This article presents an approach to encode Linear Temporal Logic (LTL) Specifications into a Mixed Integer Quadratically Constrained Quadratic Program (MIQCQP) footstep planner. W…