2 papers
cs.RO2026
CoReLIN: Constraint-based Reasoning for Zero-shot Lifelong Interactive Navigation
Apoorva Vashisth, Manav Kulshrestha, Pranav Bakshi +3
Robot navigation typically assumes an obstacle-free path exists between start and goal. In real environments, however, clutter may block all routes. We introduce Lifelong Interacti…
eess.SY2025
Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes
Ratnangshu Das, Pranav Bakshi, Pushpak Jagtap
Prescribed-time reach-avoid-stay (PT-RAS) specifications are crucial in applications requiring precise timing, state constraints, and safety guarantees. While control carrier funct…