{"total":112,"rows":[{"id":"2312.08782","title":"Toward General-Purpose Robots via Foundation Models: A Survey and Meta-Analysis","created":"2023-12-14","cited_by_count":103,"area":null},{"id":"2309.05837","title":"The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systems","created":"2023-09-11","cited_by_count":88,"area":null},{"id":"2301.11526","title":"Direct Parameterization of Lipschitz-Bounded Deep Networks","created":"2023-01-27","cited_by_count":51,"area":null},{"id":"2309.13528","title":"Iterative Reachability Estimation for Safe Reinforcement Learning","created":"2023-09-24","cited_by_count":37,"area":null},{"id":"2405.13245","title":"A Survey of Robotic Language Grounding: Tradeoffs between Symbols and Embeddings","created":"2024-05-21","cited_by_count":24,"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":"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":"2302.04634","title":"Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study","created":"2023-02-06","cited_by_count":18,"area":null},{"id":"2303.10506","title":"Neural Operators of Backstepping Controller and Observer Gain Functions for Reaction-Diffusion PDEs","created":"2023-03-18","cited_by_count":18,"area":null},{"id":"2211.03169","title":"Learning Riemannian Stable Dynamical Systems via Diffeomorphisms","created":"2022-11-06","cited_by_count":17,"area":null},{"id":"2301.10339","title":"AutoCost: Evolving Intrinsic Cost for Zero-violation Reinforcement Learning","created":"2023-01-24","cited_by_count":17,"area":null},{"id":"2311.09793","title":"Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models","created":"2023-11-16","cited_by_count":15,"area":null},{"id":"2310.09360","title":"Exact Verification of ReLU Neural Control Barrier Functions","created":"2023-10-13","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":"2401.09352","title":"Neural Contractive Dynamical Systems","created":"2024-01-17","cited_by_count":14,"area":null},{"id":"2304.04066","title":"Stable and Safe Reinforcement Learning via a Barrier-Lyapunov Actor-Critic Approach","created":"2023-04-08","cited_by_count":13,"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":"2303.04313","title":"Online Control Barrier Functions for Decentralized Multi-Agent Navigation","created":"2023-03-08","cited_by_count":11,"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":"2505.10547","title":"Real-Time Out-of-Distribution Failure Prevention via Multi-Modal Reasoning","created":"2025-05-15","cited_by_count":10,"area":null},{"id":"2311.02227","title":"State-Wise Safe Reinforcement Learning With Pixel Observations","created":"2023-11-03","cited_by_count":9,"area":null},{"id":"2511.18606","title":"How to Train Your Latent Control Barrier Function: Smooth Safety Filtering Under Hard-to-Model Constraints","created":"2025-11-23","cited_by_count":9,"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":"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.09794","title":"Human-AI Safety: A Descendant of Generative AI and Control Systems Safety","created":"2024-05-16","cited_by_count":7,"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":"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":"2302.02529","title":"Learning Control-Oriented Dynamical Structure from Data","created":"2023-02-06","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":"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":"2506.15693","title":"Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks","created":"2025-05-27","cited_by_count":5,"area":null},{"id":"2308.11236","title":"ROSGPT_Vision: Commanding Robots Using Only Language Models' Prompts","created":"2023-08-22","cited_by_count":4,"area":null},{"id":"2310.16362","title":"Neural Potential Field for Obstacle-Aware Local Motion Planning","created":"2023-10-25","cited_by_count":4,"area":null},{"id":"2401.05629","title":"Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation","created":"2024-01-11","cited_by_count":4,"area":null},{"id":"2405.20435","title":"Deep Learning for Computing Convergence Rates of Markov Chains","created":"2024-05-30","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":"2406.12744","title":"Ensuring Both Positivity and Stability Using Sector-Bounded Nonlinearity for Systems with Neural Network Controllers","created":"2024-06-18","cited_by_count":4,"area":null},{"id":"2604.05374","title":"LMI-Net: Linear Matrix Inequality--Constrained Neural Networks via Differentiable Projection Layers","created":"2026-04-07","cited_by_count":4,"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":"2301.11374","title":"Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation","created":"2023-01-26","cited_by_count":3,"area":null},{"id":"2309.04492","title":"Safe Neural Control for Non-Affine Control Systems with Differentiable Control Barrier Functions","created":"2023-09-06","cited_by_count":3,"area":null},{"id":"2309.10657","title":"Learning Adaptive Safety for Multi-Agent Systems","created":"2023-09-19","cited_by_count":3,"area":null},{"id":"2404.06413","title":"Foundation Models to the Rescue: Deadlock Resolution in Connected Multi-Robot Systems","created":"2024-04-09","cited_by_count":3,"area":null},{"id":"2405.00136","title":"Data-Driven Permissible Safe Control with Barrier Certificates","created":"2024-04-30","cited_by_count":3,"area":null},{"id":"2411.02975","title":"Transformer-Based Fault-Tolerant Control for Fixed-Wing UAVs Using Knowledge Distillation and In-Context Adaptation","created":"2024-11-05","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":"2511.08570","title":"Automatic Grid Updates for Kolmogorov-Arnold Networks using Layer Histograms","created":"2025-11-11","cited_by_count":3,"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":"2411.10096","title":"Neural Port-Hamiltonian Models for Nonlinear Distributed Control: An Unconstrained Parametrization Approach","created":"2024-11-15","cited_by_count":2,"area":null},{"id":"2412.02029","title":"Learning Ensembles of Vision-based Safety Control Filters","created":"2024-12-02","cited_by_count":2,"area":null},{"id":"2412.16564","title":"Predictive Monitoring of Black-Box Dynamical Systems","created":"2024-12-21","cited_by_count":2,"area":null},{"id":"2505.18912","title":"Robust Stability Analysis of Positive Lure System with Neural Network Feedback","created":"2025-05-25","cited_by_count":2,"area":null},{"id":"2509.16614","title":"ORN-CBF: Learning Observation-conditioned Residual Neural Control Barrier Functions via Hypernetworks","created":"2025-09-20","cited_by_count":2,"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":"2302.06572","title":"EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency","created":"2023-02-13","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":"2305.18372","title":"Assumption Generation for the Verification of Learning-Enabled Autonomous Systems","created":"2023-05-27","cited_by_count":1,"area":null},{"id":"2309.02603","title":"Detection of Unknown-Unknowns in Human-in-Plant Human-in-Loop Systems Using Physics Guided Process Models","created":"2023-09-05","cited_by_count":1,"area":null},{"id":"2311.03669","title":"Stable Modular Control via Contraction Theory for Reinforcement Learning","created":"2023-11-07","cited_by_count":1,"area":null},{"id":"2402.16449","title":"Online Efficient Safety-Critical Control for Mobile Robots in Unknown Dynamic Multi-Obstacle Environments","created":"2024-02-26","cited_by_count":1,"area":null},{"id":"2405.11397","title":"Preparing for Black Swans: The Antifragility Imperative for Machine Learning","created":"2024-05-18","cited_by_count":1,"area":null},{"id":"2405.13735","title":"Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model","created":"2024-05-22","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.01033","title":"Single-Shot Learning of Stable Dynamical Systems for Long-Horizon Manipulation Tasks","created":"2024-10-01","cited_by_count":1,"area":null},{"id":"2410.14528","title":"Domain Adaptive Safety Filters via Deep Operator Learning","created":"2024-10-18","cited_by_count":1,"area":null},{"id":"2411.11405","title":"Extended Neural Contractive Dynamical Systems: On Multiple Tasks and Riemannian Safety Regions","created":"2024-11-18","cited_by_count":1,"area":null},{"id":"2411.15643","title":"Safe PDE Boundary Control with Neural Operators","created":"2024-11-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":"2504.11045","title":"Neural Control Barrier Functions from Physics Informed Neural Networks","created":"2025-04-15","cited_by_count":1,"area":null},{"id":"2504.16879","title":"Learning Verifiable Control Policies Using Relaxed Verification","created":"2025-04-23","cited_by_count":1,"area":null},{"id":"2504.18860","title":"Diffeomorphic Obstacle Avoidance for Contractive Dynamical Systems via Implicit Representations","created":"2025-04-26","cited_by_count":1,"area":null},{"id":"2507.11987","title":"Formal Verification of Neural Certificates Done Dynamically","created":"2025-07-16","cited_by_count":1,"area":null},{"id":"2510.21560","title":"Learning Neural Control Barrier Functions from Expert Demonstrations using Inverse Constraint Learning","created":"2025-10-24","cited_by_count":1,"area":null},{"id":"2603.06921","title":"CN-CBF: Composite Neural Control Barrier Function for Robot Navigation in Dynamic Environments","created":"2026-03-06","cited_by_count":1,"area":null},{"id":"2603.28900","title":"Robust Multi-Agent Reinforcement Learning for Small UAS Separation Assurance under GPS Degradation and Spoofing","created":"2026-03-30","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":"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":"2302.12493","title":"SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge","created":"2023-02-24","cited_by_count":0,"area":null},{"id":"2306.17033","title":"Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning","created":"2023-06-29","cited_by_count":0,"area":null},{"id":"2307.08602","title":"CaRT: Certified Safety and Robust Tracking in Learning-based Motion Planning for Multi-Agent Systems","created":"2023-07-13","cited_by_count":0,"area":null},{"id":"2312.09695","title":"Robustness Verification of Deep Reinforcement Learning Based Control Systems using Reward Martingales","created":"2023-12-15","cited_by_count":0,"area":null},{"id":"2402.18677","title":"Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks","created":"2024-02-28","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":"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.19497","title":"Negative Imaginary Neural ODEs: Learning to Control Mechanical Systems with Stability Guarantees","created":"2025-04-28","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":"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":"2508.08144","title":"COMponent-Aware Pruning for Accelerated Control Tasks in Latent Space Models","created":"2025-08-11","cited_by_count":0,"area":null},{"id":"2510.06661","title":"Delay Independent Safe Control with Neural Networks: Positive Lur'e Certificates for Risk Aware Autonomy","created":"2025-10-08","cited_by_count":0,"area":null},{"id":"2511.08831","title":"Physics-Informed Machine Learning for Characterizing System Stability","created":"2025-11-11","cited_by_count":0,"area":null},{"id":"2511.09363","title":"BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems","created":"2025-11-12","cited_by_count":0,"area":null},{"id":"2603.02396","title":"COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management","created":"2026-03-02","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}],"next_cursor":"100"}