Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems. - Ratnangshu Das; Ahan Basu; Pushpak Jagtap (CoRR, 2024)

Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems. - Ahan Basu; Bhabani Shankar Dey; Pushpak Jagtap (CoRR, 2025)

Formally Verified Neural Network Controllers for Incremental Input-to-State Stability of Unknown Discrete-Time Systems. - Ahan Basu; Bhabani Shankar Dey; Pushpak Jagtap (CoRR, 2025)

Neural Incremental Input-to-State Stable Control Lyapunov Functions for Unknown Continuous-time Systems. - Ahan Basu; Bhabani Shankar Dey; Pushpak Jagtap (CoRR, 2025)