{"total":66,"rows":[{"id":"2111.00956","title":"Robot Learning from Randomized Simulations: A Review","created":"2021-11-01","cited_by_count":63,"area":null},{"id":"2206.01913","title":"Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees","created":"2022-06-04","cited_by_count":40,"area":null},{"id":"2206.10524","title":"Lyapunov Density Models: Constraining Distribution Shift in Learning-Based Control","created":"2022-06-21","cited_by_count":28,"area":null},{"id":"2306.13867","title":"Physics-Informed Machine Learning for Modeling and Control of Dynamical Systems","created":"2023-06-24","cited_by_count":28,"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":"2305.06547","title":"Neural Lyapunov Control for Discrete-Time Systems","created":"2023-05-11","cited_by_count":23,"area":null},{"id":"2206.01463","title":"Safety Certification for Stochastic Systems via Neural Barrier Functions","created":"2022-06-03","cited_by_count":22,"area":null},{"id":"2312.09131","title":"Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification","created":"2023-12-14","cited_by_count":20,"area":null},{"id":"2203.03153","title":"Scalable Verification of GNN-based Job Schedulers","created":"2022-03-07","cited_by_count":19,"area":null},{"id":"2209.14076","title":"Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems","created":"2022-09-28","cited_by_count":18,"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":"2201.10035","title":"Maximizing information from chemical engineering data sets: Applications to machine learning","created":"2022-01-25","cited_by_count":17,"area":null},{"id":"2405.05439","title":"How Generalizable Is My Behavior Cloning Policy? A Statistical Approach to Trustworthy Performance Evaluation","created":"2024-05-08","cited_by_count":15,"area":"offlinerl"},{"id":"2112.04219","title":"Learning over All Stabilizing Nonlinear Controllers for a Partially-Observed Linear System","created":"2021-12-08","cited_by_count":14,"area":null},{"id":"2410.16281","title":"Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation","created":"2024-10-04","cited_by_count":12,"area":null},{"id":"2201.05098","title":"Neural Koopman Lyapunov Control","created":"2022-01-13","cited_by_count":11,"area":null},{"id":"2201.12243","title":"Joint Differentiable Optimization and Verification for Certified Reinforcement Learning","created":"2022-01-28","cited_by_count":11,"area":null},{"id":"2202.02444","title":"Spelunking the Deep: Guaranteed Queries on General Neural Implicit Surfaces via Range Analysis","created":"2022-02-05","cited_by_count":11,"area":null},{"id":"2301.11683","title":"Neural Abstractions","created":"2023-01-27","cited_by_count":11,"area":null},{"id":"2112.01253","title":"Youla-REN: Learning Nonlinear Feedback Policies with Robust Stability Guarantees","created":"2021-12-02","cited_by_count":10,"area":null},{"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":"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":"2405.15994","title":"Verified Safe Reinforcement Learning for Neural Network Dynamic Models","created":"2024-05-25","cited_by_count":7,"area":"deeprl"},{"id":"2210.08339","title":"Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems","created":"2022-10-15","cited_by_count":6,"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":"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":"2205.05787","title":"Bridging Model-based Safety and Model-free Reinforcement Learning through System Identification of Low Dimensional Linear Models","created":"2022-05-11","cited_by_count":5,"area":null},{"id":"2304.02733","title":"Learning Stability Attention in Vision-based End-to-end Driving Policies","created":"2023-04-05","cited_by_count":5,"area":"driving"},{"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":"2210.16940","title":"FI-ODE: Certifiably Robust Forward Invariance in Neural ODEs","created":"2022-10-30","cited_by_count":3,"area":null},{"id":"2305.09619","title":"The Power of Learned Locally Linear Models for Nonlinear Policy Optimization","created":"2023-05-16","cited_by_count":3,"area":null},{"id":"2309.09043","title":"Forward Invariance in Neural Network Controlled Systems","created":"2023-09-16","cited_by_count":3,"area":null},{"id":"2312.05332","title":"MPC-Inspired Reinforcement Learning for Verifiable Model-Free Control","created":"2023-12-08","cited_by_count":3,"area":null},{"id":"2403.04118","title":"Globally Stable Neural Imitation Policies","created":"2024-03-07","cited_by_count":3,"area":"offlinerl"},{"id":"2408.01273","title":"Certified Robust Invariant Polytope Training in Neural Controlled ODEs","created":"2024-08-02","cited_by_count":3,"area":null},{"id":"2410.04708","title":"Tight Stability, Convergence, and Robustness Bounds for Predictive Coding Networks","created":"2024-10-07","cited_by_count":3,"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":"2501.13023","title":"Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis","created":"2025-01-22","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":"2312.15340","title":"Meta-Learning-Based Adaptive Stability Certificates for Dynamical Systems","created":"2023-12-23","cited_by_count":2,"area":null},{"id":"2404.03017","title":"Distributionally Robust Policy and Lyapunov-Certificate Learning","created":"2024-04-03","cited_by_count":2,"area":null},{"id":"2207.13120","title":"Analysis and Design of Quadratic Neural Networks for Regression, Classification, and Lyapunov Control of Dynamical Systems","created":"2022-07-26","cited_by_count":1,"area":null},{"id":"2301.00521","title":"A Policy Optimization Method Towards Optimal-time Stability","created":"2023-01-02","cited_by_count":1,"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":"2410.09708","title":"Control the GNN: Utilizing Neural Controller with Lyapunov Stability for Test-Time Feature Reconstruction","created":"2024-10-13","cited_by_count":1,"area":null},{"id":"2502.02014","title":"Analytical Lyapunov Function Discovery: An RL-based Generative Approach","created":"2025-02-04","cited_by_count":1,"area":"deeprl"},{"id":"2504.16879","title":"Learning Verifiable Control Policies Using Relaxed Verification","created":"2025-04-23","cited_by_count":1,"area":null},{"id":"2505.10947","title":"Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions","created":"2025-05-16","cited_by_count":1,"area":"deeprl"},{"id":"2604.00277","title":"Hybrid Energy-Based Models for Physical AI: Provably Stable Identification of Port-Hamiltonian Dynamics","created":"2026-03-31","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":"2607.04531","title":"Lyapunov-Guided Training for Hardware-Safe Neural Networks Under Fixed-Point Arithmetic","created":"2026-07-05","cited_by_count":1,"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":"2403.00381","title":"Structured Deep Neural Network-Based Backstepping Trajectory Tracking Control for Lagrangian Systems","created":"2024-03-01","cited_by_count":0,"area":null},{"id":"2404.12474","title":"Learning a Stable, Safe, Distributed Feedback Controller for a Heterogeneous Platoon of Autonomous Vehicles","created":"2024-04-18","cited_by_count":0,"area":null},{"id":"2408.17246","title":"(Un)supervised Learning of Maximal Lyapunov Functions","created":"2024-08-30","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":"2508.02616","title":"DeepKoopFormer: A Koopman Enhanced Transformer Based Architecture for Time Series Forecasting","created":"2025-08-04","cited_by_count":0,"area":null},{"id":"2509.19110","title":"A Fast Initialization Method for Neural Network Controllers: A Case Study of Image-based Visual Servoing Control for the multicopter Interception","created":"2025-09-23","cited_by_count":0,"area":"deeprl"},{"id":"2510.15944","title":"Lyapunov-Stable Adaptive Control for Multimodal Concept Drift","created":"2025-10-09","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},{"id":"2602.03799","title":"Conformal Reachability for Safe Control in Unknown Environments","created":"2026-02-03","cited_by_count":0,"area":null},{"id":"2604.26172","title":"Co-Learning Port-Hamiltonian Systems and Optimal Energy-Shaping Control","created":"2026-04-28","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":"2606.13803","title":"Neural Slack Variables for Shape Constraints","created":"2026-06-11","cited_by_count":0,"area":null},{"id":"2606.30935","title":"ShardNet: Training Neural Controllers with Hard, Non-Convex Constraints","created":"2026-06-29","cited_by_count":0,"area":null},{"id":"2609.17758","title":"CALOS: Control-Affine Lyapunov On-manifold Safety Layer for Safe Deep Reinforcement Learning for Quadrotors","created":"2026-09-15","cited_by_count":0,"area":"deeprl"}],"next_cursor":null}