A Closed-Form Dual-Barrier CBF Safety Filter for Holonomic Robots on Incrementally Built Occupancy Grid Maps. - Himanshu Paudel; Basanta Joshi; Dhirendra Raj Madai; Alina Bartaula; Biman Rimal; Sanjay Neupane (CoRR, 2026)