{"total":80,"rows":[{"id":"2107.03342","title":"A Survey of Uncertainty in Deep Neural Networks","created":"2021-07-07","cited_by_count":680,"area":null},{"id":"2108.06266","title":"Safe Learning in Robotics: From Learning-Based Control to Safe Reinforcement Learning","created":"2021-08-13","cited_by_count":371,"area":null},{"id":"2110.00675","title":"Contraction Theory for Nonlinear Stability Analysis and Learning-based Control: A Tutorial Overview","created":"2021-10-01","cited_by_count":45,"area":null},{"id":"2202.02526","title":"LyaNet: A Lyapunov Framework for Training Neural ODEs","created":"2022-02-05","cited_by_count":44,"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":"2103.04490","title":"Adaptive-Control-Oriented Meta-Learning for Nonlinear Systems","created":"2021-03-07","cited_by_count":39,"area":null},{"id":"2107.12045","title":"How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review","created":"2021-07-26","cited_by_count":39,"area":null},{"id":"2108.01846","title":"Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time Violations","created":"2021-08-04","cited_by_count":39,"area":null},{"id":"2209.08025","title":"Trustworthy Reinforcement Learning Against Intrinsic Vulnerabilities: Robustness, Safety, and Generalizability","created":"2022-09-16","cited_by_count":36,"area":null},{"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":"2206.10524","title":"Lyapunov Density Models: Constraining Distribution Shift in Learning-Based Control","created":"2022-06-21","cited_by_count":28,"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":"2210.05308","title":"Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees","created":"2022-10-11","cited_by_count":23,"area":null},{"id":"2305.06547","title":"Neural Lyapunov Control for Discrete-Time Systems","created":"2023-05-11","cited_by_count":23,"area":null},{"id":"2310.17405","title":"Causal Modeling with Stationary Diffusions","created":"2023-10-26","cited_by_count":19,"area":null},{"id":"2105.04682","title":"Value Iteration in Continuous Actions, States and Time","created":"2021-05-10","cited_by_count":18,"area":null},{"id":"2110.14296","title":"Learning Stable Deep Dynamics Models for Partially Observed or Delayed Dynamical Systems","created":"2021-10-27","cited_by_count":17,"area":null},{"id":"2204.06716","title":"Control-oriented meta-learning","created":"2022-04-14","cited_by_count":17,"area":null},{"id":"2109.13359","title":"Lyapunov-Net: A Deep Neural Network Architecture for Lyapunov Function Approximation","created":"2021-09-27","cited_by_count":16,"area":null},{"id":"2101.05916","title":"Scalable Learning of Safety Guarantees for Autonomous Systems using Hamilton-Jacobi Reachability","created":"2021-01-15","cited_by_count":14,"area":null},{"id":"2312.01456","title":"Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees","created":"2023-12-03","cited_by_count":14,"area":null},{"id":"2502.02480","title":"Stable Port-Hamiltonian Neural Networks","created":"2025-02-04","cited_by_count":13,"area":null},{"id":"2112.09046","title":"Distributed neural network control with dependability guarantees: a compositional port-Hamiltonian approach","created":"2021-12-16","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":"2107.04775","title":"LS3: Latent Space Safe Sets for Long-Horizon Visuomotor Control of Sparse Reward Iterative Tasks","created":"2021-07-10","cited_by_count":10,"area":null},{"id":"2304.12707","title":"Lyapunov-Stable Deep Equilibrium Models","created":"2023-04-25","cited_by_count":10,"area":null},{"id":"2105.12189","title":"Robust Value Iteration for Continuous Control Tasks","created":"2021-05-25","cited_by_count":8,"area":null},{"id":"2106.08928","title":"RNNs of RNNs: Recursive Construction of Stable Assemblies of Recurrent Neural Networks","created":"2021-06-16","cited_by_count":7,"area":null},{"id":"2112.14415","title":"Data-Driven Computational Methods for the Domain of Attraction and Zubov's Equation","created":"2021-12-29","cited_by_count":7,"area":null},{"id":"2402.10998","title":"Provably Safe Neural Network Controllers via Differential Dynamic Logic","created":"2024-02-16","cited_by_count":7,"area":null},{"id":"2110.01954","title":"Continuous-Time Fitted Value Iteration for Robust Policies","created":"2021-10-05","cited_by_count":6,"area":null},{"id":"2203.01190","title":"Model-free Neural Lyapunov Control for Safe Robot Navigation","created":"2022-03-02","cited_by_count":6,"area":null},{"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":"2303.03157","title":"Data-Driven Control with Inherent Lyapunov Stability","created":"2023-03-06","cited_by_count":6,"area":null},{"id":"2306.04026","title":"Value Functions are Control Barrier Functions: Verification of Safe Policies using Control Theory","created":"2023-06-06","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":"2112.12999","title":"Total Energy Shaping with Neural Interconnection and Damping Assignment -- Passivity Based Control","created":"2021-12-24","cited_by_count":5,"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":"2206.01704","title":"KCRL: Krasovskii-Constrained Reinforcement Learning with Guaranteed Stability in Nonlinear Dynamical Systems","created":"2022-06-03","cited_by_count":5,"area":null},{"id":"2210.05304","title":"Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems","created":"2022-10-11","cited_by_count":5,"area":null},{"id":"2302.02529","title":"Learning Control-Oriented Dynamical Structure from Data","created":"2023-02-06","cited_by_count":5,"area":null},{"id":"2302.05783","title":"ConCerNet: A Contrastive Learning Based Framework for Automated Conservation Law Discovery and Trustworthy Dynamical System Prediction","created":"2023-02-11","cited_by_count":5,"area":null},{"id":"2412.17432","title":"Neural Continuous-Time Supermartingale Certificates","created":"2024-12-23","cited_by_count":5,"area":null},{"id":"2112.11217","title":"Model-Based Safe Reinforcement Learning with Time-Varying State and Control Constraints: An Application to Intelligent Vehicles","created":"2021-12-18","cited_by_count":4,"area":null},{"id":"2304.08845","title":"Feasible Policy Iteration for Safe Reinforcement Learning","created":"2023-04-18","cited_by_count":4,"area":null},{"id":"2305.03608","title":"On the Optimality, Stability, and Feasibility of Control Barrier Functions: An Adaptive Learning-Based Approach","created":"2023-05-05","cited_by_count":4,"area":null},{"id":"2405.11458","title":"CPS-LLM: Large Language Model based Safe Usage Plan Generator for Human-in-the-Loop Human-in-the-Plant Cyber-Physical System","created":"2024-05-19","cited_by_count":4,"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":"2112.05911","title":"Learning Contraction Policies from Offline Data","created":"2021-12-11","cited_by_count":3,"area":null},{"id":"2412.12996","title":"Neural Control and Certificate Repair via Runtime Monitoring","created":"2024-12-17","cited_by_count":3,"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":"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":"2404.12554","title":"Learning Stable and Passive Neural Differential Equations","created":"2024-04-19","cited_by_count":2,"area":null},{"id":"2103.02987","title":"Learning-based Adaptive Control using Contraction Theory","created":"2021-03-04","cited_by_count":1,"area":null},{"id":"2111.09930","title":"Learning To Estimate Regions Of Attraction Of Autonomous Dynamical Systems Using Physics-Informed Neural Networks","created":"2021-11-18","cited_by_count":1,"area":null},{"id":"2202.06453","title":"Input-to-State Stable Neural Ordinary Differential Equations with Applications to Transient Modeling of Circuits","created":"2022-02-14","cited_by_count":1,"area":null},{"id":"2204.10372","title":"Model-free Learning of Regions of Attraction via Recurrent Sets","created":"2022-04-21","cited_by_count":1,"area":null},{"id":"2205.11991","title":"Learning Stabilizing Policies in Stochastic Control Systems","created":"2022-05-24","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":"2303.10327","title":"Hybrid Systems Neural Control with Region-of-Attraction Planner","created":"2023-03-18","cited_by_count":1,"area":null},{"id":"2504.08414","title":"Adversarial Examples in Environment Perception for Automated Driving (Review)","created":"2025-04-11","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":"2608.06481","title":"Safe and Robust Neural Policy Learning with Statistical Verification for Sim-to-Real Deployment in Robotics","created":"2026-08-06","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":"2208.14714","title":"A stabilizing reinforcement learning approach for sampled systems with partially unknown models","created":"2022-08-31","cited_by_count":0,"area":null},{"id":"2311.03680","title":"Deep Bayesian Reinforcement Learning for Spacecraft Proximity Maneuvers and Docking","created":"2023-11-07","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":"2408.17246","title":"(Un)supervised Learning of Maximal Lyapunov Functions","created":"2024-08-30","cited_by_count":0,"area":null},{"id":"2409.00257","title":"Improving the Region of Attraction of a Multi-rotor UAV by Estimating Unknown Disturbances","created":"2024-08-30","cited_by_count":0,"area":null},{"id":"2410.04260","title":"Pareto Control Barrier Function for Inner Safe Set Maximization Under Input Constraints","created":"2024-10-05","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":"2505.14001","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","created":"2025-05-20","cited_by_count":0,"area":null},{"id":"2506.02754","title":"Safely Learning Controlled Stochastic Dynamics","created":"2025-06-03","cited_by_count":0,"area":null},{"id":"2507.22760","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","created":"2025-07-30","cited_by_count":0,"area":null},{"id":"2602.23524","title":"V-MORALS: Visual Morse Graph-Aided Estimation of Regions of Attraction in a Learned Latent Space","created":"2026-02-26","cited_by_count":0,"area":null},{"id":"2605.06934","title":"Learned Lyapunov Shielding for Adaptive Control","created":"2026-05-07","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":"2607.16313","title":"Generalist AI Control: Towards Multi-purpose Adaptive Algorithms","created":"2026-07-14","cited_by_count":0,"area":null},{"id":"2610.01356","title":"Port-Hamiltonian Neural Networks for Systems with Multiple Asymptotically Stable Equilibria","created":"2026-10-01","cited_by_count":0,"area":null}],"next_cursor":null}