Ahan Basu

According to our database¹, Ahan Basu authored at least 4 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Neural Incremental Input-to-State Stable Control Lyapunov Functions for Unknown Continuous-time Systems.

[BibT_eX]

[DOI]

CoRR, April, 2025

Formally Verified Neural Network Controllers for Incremental Input-to-State Stability of Unknown Discrete-Time Systems.

[BibT_eX]

[DOI]

CoRR, March, 2025

Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems.

[BibT_eX]

[DOI]

CoRR, January, 2025

2024

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems.

[BibT_eX]

[DOI]

CoRR, 2024