{"total":18,"rows":[{"id":"2302.03122","title":"State-wise Safe Reinforcement Learning: A Survey","created":"2023-02-06","cited_by_count":55,"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":"2312.12791","title":"Model-Based Control with Sparse Neural Dynamics","created":"2023-12-20","cited_by_count":16,"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":"2306.13614","title":"Adversarial Robustness Certification for Bayesian Neural Networks","created":"2023-06-23","cited_by_count":7,"area":null},{"id":"2407.01639","title":"ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks","created":"2024-06-30","cited_by_count":7,"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":"2310.01951","title":"Probabilistic Reach-Avoid for Bayesian Neural Networks","created":"2023-10-03","cited_by_count":5,"area":null},{"id":"2312.06810","title":"System-level Safety Guard: Safe Tracking Control through Uncertain Neural Network Dynamics Models","created":"2023-12-11","cited_by_count":5,"area":null},{"id":"2404.13456","title":"Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation","created":"2024-04-20","cited_by_count":5,"area":null},{"id":"2309.06569","title":"Promises of Deep Kernel Learning for Control Synthesis","created":"2023-09-12","cited_by_count":4,"area":null},{"id":"2303.05246","title":"Efficient Certified Training and Robustness Verification of Neural ODEs","created":"2023-03-09","cited_by_count":3,"area":null},{"id":"2405.11380","title":"Meta-Control: Automatic Model-based Control Synthesis for Heterogeneous Robot Skills","created":"2024-05-18","cited_by_count":2,"area":null},{"id":"2404.16883","title":"Myopically Verifiable Probabilistic Certificates for Safe Control and Learning","created":"2024-04-23","cited_by_count":1,"area":null},{"id":"2502.15006","title":"Safe Beyond the Horizon: Efficient Sampling-based MPC with Neural Control Barrier Functions","created":"2025-02-20","cited_by_count":1,"area":null},{"id":"2510.05261","title":"ECLipsE-Gen-Local: Efficient Compositional Local Lipschitz Estimates for Deep Neural Networks","created":"2025-10-06","cited_by_count":1,"area":null},{"id":"2405.10372","title":"Efficient model predictive control for nonlinear systems modelled by deep neural networks","created":"2024-05-16","cited_by_count":0,"area":null},{"id":"2505.11546","title":"Control Invariant Sets for Neural Network Dynamical Systems and Recursive Feasibility in Model Predictive Control","created":"2025-05-15","cited_by_count":0,"area":null}],"next_cursor":null}