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

MLA

Basu, Ahan, et al. Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems. 2025. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2501.05778&authtype=sso&custid=ns315887.

APA

Basu, A., Dey, B. S., & Jagtap, P. (2025). Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems.

Chicago

Basu, Ahan, Bhabani Shankar Dey, and Pushpak Jagtap. 2025. “Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2501.05778&authtype=sso&custid=ns315887.