{"total":16,"rows":[{"id":"2403.10013","title":"LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction","created":"2024-03-15","cited_by_count":10,"area":null},{"id":"2506.01356","title":"Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion","created":"2025-06-02","cited_by_count":6,"area":null},{"id":"2405.20435","title":"Deep Learning for Computing Convergence Rates of Markov Chains","created":"2024-05-30","cited_by_count":4,"area":null},{"id":"2409.20528","title":"Formally Verified Physics-Informed Neural Control Lyapunov Functions","created":"2024-09-30","cited_by_count":4,"area":null},{"id":"2411.18235","title":"Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control","created":"2024-11-27","cited_by_count":3,"area":null},{"id":"2506.13961","title":"Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation","created":"2025-06-16","cited_by_count":3,"area":null},{"id":"2508.16737","title":"Deep Learning for Markov Chains: Lyapunov Functions, Poisson's Equation, and Stationary Distributions","created":"2025-08-22","cited_by_count":2,"area":null},{"id":"2412.02807","title":"Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems","created":"2024-12-03","cited_by_count":1,"area":null},{"id":"2504.11045","title":"Neural Control Barrier Functions from Physics Informed Neural Networks","created":"2025-04-15","cited_by_count":1,"area":null},{"id":"2605.26577","title":"Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial","created":"2026-05-26","cited_by_count":1,"area":null},{"id":"2408.17246","title":"(Un)supervised Learning of Maximal Lyapunov Functions","created":"2024-08-30","cited_by_count":0,"area":null},{"id":"2509.21879","title":"Learning Aligned Stability in Neural ODEs Reconciling Accuracy with Robustness","created":"2025-09-26","cited_by_count":0,"area":null},{"id":"2511.08831","title":"Physics-Informed Machine Learning for Characterizing System Stability","created":"2025-11-11","cited_by_count":0,"area":null},{"id":"2603.03082","title":"Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation","created":"2026-03-03","cited_by_count":0,"area":null},{"id":"2603.19165","title":"Rigorous Error Certification for Neural PDE Solvers: From Empirical Residuals to Solution Guarantees","created":"2026-03-19","cited_by_count":0,"area":null},{"id":"2603.19545","title":"Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equations","created":"2026-03-20","cited_by_count":0,"area":null}],"next_cursor":null}