CBF-Based Motion Planning for Socially Responsible Robot Navigation Guaranteeing Spatio-Temporal Logic Specifications

This paper presents a CBF-based motion planning methodology that enables a robot to complete a task at any time within a specified time interval, while providing safety-critical guarantees such as velocity constraints and obstacle avoidance, in a dynamic system subject to non-linear velocity constraints.