Real-Time Model Checking for Closed-Loop Robot Reactive Planning
arXiv:2508.19186v2 Announce Type: replace-cross Abstract: Reactive obstacle avoidance methods often cause agents to become trapped in local minima, because they can often only reason one step ahead (i