Abstract: Temporal logic is a concise way of specifying complex tasks. However, motion planning to achieve temporal logic specifications is difficult, and existing methods struggle to scale to complex ...
Abstract: This brief provides a novel approach for online synthesis of predictive control barrier function (CBF)-based safety filters and controllers for differentially flat, input-constrained systems ...