Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes. - Ratnangshu Das; Pranav Bakshi; Pushpak Jagtap (CoRR, 2025)