{"total":16,"rows":[{"id":"2211.11056","title":"Safe Control Under Input Limits with Neural Control Barrier Functions","created":"2022-11-20","cited_by_count":29,"area":null},{"id":"2112.09495","title":"Stability Verification in Stochastic Control Systems via Neural Network Supermartingales","created":"2021-12-17","cited_by_count":26,"area":null},{"id":"2305.06547","title":"Neural Lyapunov Control for Discrete-Time Systems","created":"2023-05-11","cited_by_count":23,"area":null},{"id":"2201.01918","title":"SABLAS: Learning Safe Control for Black-box Dynamical Systems","created":"2022-01-06","cited_by_count":17,"area":null},{"id":"2211.03169","title":"Learning Riemannian Stable Dynamical Systems via Diffeomorphisms","created":"2022-11-06","cited_by_count":17,"area":null},{"id":"2201.05098","title":"Neural Koopman Lyapunov Control","created":"2022-01-13","cited_by_count":11,"area":null},{"id":"2301.11683","title":"Neural Abstractions","created":"2023-01-27","cited_by_count":11,"area":null},{"id":"2403.07308","title":"Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees","created":"2024-03-12","cited_by_count":7,"area":null},{"id":"2309.06090","title":"A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis","created":"2023-09-12","cited_by_count":6,"area":null},{"id":"2112.10690","title":"Adversarially Robust Stability Certificates can be Sample-Efficient","created":"2021-12-20","cited_by_count":2,"area":null},{"id":"2201.00801","title":"Revisiting PGD Attacks for Stability Analysis of Large-Scale Nonlinear Systems and Perception-Based Control","created":"2022-01-03","cited_by_count":0,"area":null},{"id":"2307.08168","title":"Enabling Efficient, Reliable Real-World Reinforcement Learning with Approximate Physics-Based Models","created":"2023-07-16","cited_by_count":0,"area":null},{"id":"2501.17333","title":"A Guaranteed-Stable Neural Network Approach for Optimal Control of Nonlinear Systems","created":"2025-01-28","cited_by_count":0,"area":null},{"id":"2502.00248","title":"Provably-Stable Neural Network-Based Control of Nonlinear Systems","created":"2025-02-01","cited_by_count":0,"area":null},{"id":"2504.02607","title":"Learning Geometrically-Informed Lyapunov Functions with Deep Diffeomorphic RBF Networks","created":"2025-04-03","cited_by_count":0,"area":null},{"id":"2511.01283","title":"Lyapunov Stability Learning with Nonlinear Control via Inductive Biases","created":"2025-11-03","cited_by_count":0,"area":null}],"next_cursor":null}