{"total":11,"rows":[{"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":"2409.20528","title":"Formally Verified Physics-Informed Neural Control Lyapunov Functions","created":"2024-09-30","cited_by_count":4,"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":"2511.06341","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","created":"2025-11-09","cited_by_count":2,"area":null},{"id":"2512.11750","title":"LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems","created":"2025-12-12","cited_by_count":2,"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.18389","title":"Neural Proofs for Sound Verification and Control of Complex Systems","created":"2025-12-20","cited_by_count":0,"area":null},{"id":"2601.12002","title":"Kernel-Based Learning of Safety Barriers","created":"2026-01-17","cited_by_count":0,"area":null},{"id":"2605.02526","title":"Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems","created":"2026-05-04","cited_by_count":0,"area":null},{"id":"2605.20108","title":"k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics","created":"2026-05-19","cited_by_count":0,"area":null},{"id":"2606.13803","title":"Neural Slack Variables for Shape Constraints","created":"2026-06-11","cited_by_count":0,"area":null}],"next_cursor":null}