{"total":16,"rows":[{"id":"2501.00200","title":"Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes","created":"2024-12-31","cited_by_count":33,"area":null},{"id":"2404.07956","title":"Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation","created":"2024-04-11","cited_by_count":25,"area":null},{"id":"2512.11087","title":"Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification","created":"2025-12-11","cited_by_count":9,"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":"2504.17102","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","created":"2025-04-23","cited_by_count":5,"area":null},{"id":"2406.00826","title":"Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates","created":"2024-06-02","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":"2404.03017","title":"Distributionally Robust Policy and Lyapunov-Certificate Learning","created":"2024-04-03","cited_by_count":2,"area":null},{"id":"2406.15675","title":"Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery","created":"2024-06-21","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":"2512.01056","title":"The Silence that Speaks: Neural Estimation via Communication Gaps","created":"2025-11-30","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":"2605.09707","title":"Adaptive Data Harvesting for Efficient Neural Network Learning with Universal Constraints","created":"2026-05-10","cited_by_count":0,"area":null},{"id":"2609.30819","title":"Learning Provable Neural Network Observer for Uncertain Dynamical Systems","created":"2026-09-25","cited_by_count":0,"area":null},{"id":"2610.05689","title":"Toward AI Trustworthiness: Finding Analytically Proven Forward-Invariant Sets for AI-Controlled Systems","created":"2026-10-05","cited_by_count":0,"area":null}],"next_cursor":null}