{"total":151,"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":"2408.09675","title":"Multi-Agent Reinforcement Learning for Autonomous Driving: A Survey","created":"2024-08-19","cited_by_count":32,"area":"driving"},{"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":"2405.14058","title":"Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates","created":"2024-05-22","cited_by_count":16,"area":"deeprl"},{"id":"2407.09645","title":"Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey","created":"2024-07-12","cited_by_count":16,"area":"deeprl"},{"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":"2404.09080","title":"Safe Reinforcement Learning on the Constraint Manifold: Theory and Applications","created":"2024-04-13","cited_by_count":15,"area":"deeprl"},{"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":"2306.15512","title":"Trajectory Generation, Control, and Safety with Denoising Diffusion Probabilistic Models","created":"2023-06-27","cited_by_count":13,"area":"diffusion"},{"id":"2402.05279","title":"Safety Filters for Black-Box Dynamical Systems by Learning Discriminating Hyperplanes","created":"2024-02-07","cited_by_count":12,"area":"deeprl"},{"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":"2206.04632","title":"Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrations","created":"2022-06-09","cited_by_count":10,"area":"offlinerl"},{"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":"2408.15625","title":"CBF-LLM: Safe Control for LLM Alignment","created":"2024-08-28","cited_by_count":9,"area":"alignment"},{"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":"2403.08448","title":"Actor-Critic Physics-informed Neural Lyapunov Control","created":"2024-03-13","cited_by_count":8,"area":"deeprl"},{"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":"2404.01769","title":"Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems","created":"2024-04-02","cited_by_count":6,"area":"deeprl"},{"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.07544","title":"Contractive Dynamical Imitation Policies for Efficient Out-of-Sample Recovery","created":"2024-12-10","cited_by_count":5,"area":"offlinerl"},{"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":"2505.00908","title":"Learning Conservative Neural Control Barrier Functions from Offline Data","created":"2025-05-01","cited_by_count":5,"area":"offlinerl"},{"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":"2512.10822","title":"V-OCBF: Learning Safety Filters from Offline Data via Value-Guided Offline Control Barrier Functions","created":"2025-12-11","cited_by_count":5,"area":"offlinerl"},{"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":"2407.07088","title":"Safe and Reliable Training of Learning-Based Aerospace Controllers","created":"2024-07-09","cited_by_count":4,"area":"deeprl"},{"id":"2410.21117","title":"Robustness and Generalization in Quantum Reinforcement Learning via Lipschitz Regularization","created":"2024-10-28","cited_by_count":4,"area":"deeprl"},{"id":"2508.09128","title":"A Review On Safe Reinforcement Learning Using Lyapunov and Barrier Functions","created":"2025-08-12","cited_by_count":4,"area":"deeprl"},{"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.09863","title":"Off Policy Lyapunov Stability in Reinforcement Learning","created":"2025-09-11","cited_by_count":2,"area":"deeprl"},{"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":"2601.06540","title":"Self-Organizing Dual-Buffer Adaptive Clustering Experience Replay (SODACER) for Safe Reinforcement Learning in Optimal Control","created":"2026-01-10","cited_by_count":2,"area":"deeprl"},{"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.02014","title":"Analytical Lyapunov Function Discovery: An RL-based Generative Approach","created":"2025-02-04","cited_by_count":1,"area":"deeprl"},{"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":"2505.10947","title":"Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions","created":"2025-05-16","cited_by_count":1,"area":"deeprl"},{"id":"2506.01167","title":"Accelerated Learning with Linear Temporal Logic using Differentiable Simulation","created":"2025-06-01","cited_by_count":1,"area":"deeprl"},{"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":"2511.08339","title":"LPPG-RL: Lexicographically Projected Policy Gradient Reinforcement Learning with Subproblem Exploration","created":"2025-11-11","cited_by_count":1,"area":"deeprl"},{"id":"2601.01003","title":"Contractive Diffusion Policies: Robust Action Diffusion via Contractive Score-Based Sampling with Differential Equations","created":"2026-01-02","cited_by_count":1,"area":"diffusion"}],"next_cursor":"100"}