{"total":64,"rows":[{"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":"2401.17583","title":"Agile But Safe: Learning Collision-Free High-Speed Legged Locomotion","created":"2024-01-31","cited_by_count":73,"area":null},{"id":"2205.07536","title":"Reachability Constrained Reinforcement Learning","created":"2022-05-16","cited_by_count":59,"area":null},{"id":"2112.12288","title":"Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning","created":"2021-12-23","cited_by_count":49,"area":null},{"id":"2309.13528","title":"Iterative Reachability Estimation for Safe Reinforcement Learning","created":"2023-09-24","cited_by_count":37,"area":null},{"id":"2212.03228","title":"ISAACS: Iterative Soft Adversarial Actor-Critic for Safety","created":"2022-12-06","cited_by_count":28,"area":null},{"id":"2110.13297","title":"Fast PDE-constrained optimization via self-supervised operator learning","created":"2021-10-25","cited_by_count":25,"area":null},{"id":"2312.08604","title":"Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction","created":"2023-12-14","cited_by_count":23,"area":null},{"id":"2405.00846","title":"Gameplay Filters: Robust Zero-Shot Safety through Adversarial Imagination","created":"2024-05-01","cited_by_count":16,"area":null},{"id":"2110.01388","title":"Neural Network Verification in Control","created":"2021-09-30","cited_by_count":14,"area":null},{"id":"2308.09858","title":"Tensor-Compressed Back-Propagation-Free Training for (Physics-Informed) Neural Networks","created":"2023-08-18","cited_by_count":12,"area":null},{"id":"2502.11057","title":"A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems","created":"2025-02-16","cited_by_count":12,"area":null},{"id":"2109.06728","title":"Learning Density Distribution of Reachable States for Autonomous Systems","created":"2021-09-14","cited_by_count":11,"area":null},{"id":"2209.12336","title":"Generating Formal Safety Assurances for High-Dimensional Reachability","created":"2022-09-25","cited_by_count":11,"area":null},{"id":"2309.01267","title":"Deception Game: Closing the Safety-Learning Loop in Interactive Robot Autonomy","created":"2023-09-03","cited_by_count":10,"area":null},{"id":"2201.05475","title":"SympOCnet: Solving optimal control problems with applications to high-dimensional multi-agent path planning problems","created":"2022-01-14","cited_by_count":9,"area":null},{"id":"2412.09989","title":"One Filter to Deploy Them All: Robust Safety for Quadrupedal Navigation in Unknown Environments","created":"2024-12-13","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":"2207.01751","title":"TT-PINN: A Tensor-Compressed Neural PDE Solver for Edge Computing","created":"2022-07-04","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":"2604.07644","title":"Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU","created":"2026-04-08","cited_by_count":7,"area":null},{"id":"2203.10142","title":"Infinite-Horizon Reach-Avoid Zero-Sum Games via Deep Reinforcement Learning","created":"2022-03-18","cited_by_count":6,"area":null},{"id":"2105.03336","title":"Neural network architectures using min-plus algebra for solving certain high dimensional optimal control problems and Hamilton-Jacobi PDEs","created":"2021-05-07","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":"2207.01773","title":"Approximating Discontinuous Nash Equilibrial Values of Two-Player General-Sum Differential Games","created":"2022-07-05","cited_by_count":5,"area":null},{"id":"2211.02736","title":"Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis","created":"2022-11-04","cited_by_count":5,"area":null},{"id":"2311.04843","title":"Bridging Dimensions: Confident Reachability for High-Dimensional Controllers","created":"2023-11-08","cited_by_count":5,"area":null},{"id":"2309.13475","title":"Detecting and Mitigating System-Level Anomalies of Vision-Based Controllers","created":"2023-09-23","cited_by_count":4,"area":null},{"id":"2401.00413","title":"Real-Time FJ/MAC PDE Solvers via Tensorized, Back-Propagation-Free Optical PINN Training","created":"2023-12-31","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":"2511.07899","title":"Statistically Assuring Safety of Control Systems using Ensembles of Safety Filters and Conformal Prediction","created":"2025-11-11","cited_by_count":4,"area":null},{"id":"2311.16520","title":"Value Approximation for Two-Player General-Sum Differential Games with State Constraints","created":"2023-11-28","cited_by_count":3,"area":null},{"id":"2401.01502","title":"Pontryagin Neural Operator for Solving Parametric General-Sum Differential Games","created":"2024-01-03","cited_by_count":3,"area":null},{"id":"2410.20267","title":"Learning Maximal Safe Sets Using Hypernetworks for MPC-based Local Trajectory Planning in Unknown Environments","created":"2024-10-26","cited_by_count":3,"area":null},{"id":"2501.06663","title":"Ultra Memory-Efficient On-FPGA Training of Transformers via Tensor-Compressed Optimization","created":"2025-01-11","cited_by_count":3,"area":null},{"id":"2501.15618","title":"Your Learned Constraint is Secretly a Backward Reachable Tube","created":"2025-01-26","cited_by_count":3,"area":null},{"id":"2505.11755","title":"Reachability Barrier Networks: Learning Hamilton-Jacobi Solutions for Smooth and Flexible Control Barrier Functions","created":"2025-05-16","cited_by_count":3,"area":null},{"id":"2508.03428","title":"Residual Neural Terminal Constraint for MPC-based Collision Avoidance in Dynamic Environments","created":"2025-08-05","cited_by_count":3,"area":null},{"id":"2502.12384","title":"Scalable Back-Propagation-Free Training of Optical Physics-Informed Neural Networks","created":"2025-02-17","cited_by_count":2,"area":null},{"id":"2503.23912","title":"Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets","created":"2025-03-31","cited_by_count":2,"area":null},{"id":"2509.09135","title":"Continuous-Time Value Iteration for Multi-Agent Reinforcement Learning","created":"2025-09-11","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":"2601.05637","title":"GenCtrl -- A Formal Controllability Toolkit for Generative Models","created":"2026-01-09","cited_by_count":2,"area":null},{"id":"2209.08073","title":"Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning","created":"2022-09-16","cited_by_count":1,"area":null},{"id":"2409.16301","title":"Gait Switching and Enhanced Stabilization of Walking Robots with Deep Learning-based Reachability: A Case Study on Two-link Walker","created":"2024-09-10","cited_by_count":1,"area":null},{"id":"2411.15350","title":"Dynamic Tube MPC: Learning Tube Dynamics with Massively Parallel Simulation for Robust Safety in Practice","created":"2024-11-22","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":"2506.01199","title":"Test Automation for Interactive Scenarios via Promptable Traffic Simulation","created":"2025-06-01","cited_by_count":1,"area":null},{"id":"2507.15455","title":"Solving nonconvex Hamilton--Jacobi--Isaacs equations with PINN-based policy iteration","created":"2025-07-21","cited_by_count":1,"area":null},{"id":"2601.01076","title":"Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees","created":"2026-01-03","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":"2606.02562","title":"Permissive Safety Through Trusted Inference: Verifiable Belief-Space Neural Safety Filters for Assured Interactive Robotics","created":"2026-06-01","cited_by_count":1,"area":null},{"id":"2403.02741","title":"State-Constrained Zero-Sum Differential Games with One-Sided Information","created":"2024-03-05","cited_by_count":0,"area":null},{"id":"2410.02904","title":"Convergence Guarantees for Neural Network-Based Hamilton-Jacobi Reachability","created":"2024-10-03","cited_by_count":0,"area":null},{"id":"2501.00742","title":"Experimental Demonstration of an Optical Neural PDE Solver via On-Chip PINN Training","created":"2025-01-01","cited_by_count":0,"area":null},{"id":"2503.07013","title":"Learning Nash Equilibrial Hamiltonian for Two-Player Collision-Avoiding Interactions","created":"2025-03-10","cited_by_count":0,"area":null},{"id":"2509.23960","title":"MAD-PINN: A Decentralized Physics-Informed Machine Learning Framework for Safe and Optimal Multi-Agent Control","created":"2025-09-28","cited_by_count":0,"area":null},{"id":"2512.22793","title":"Reach-Avoid Differential game with Reachability Analysis for UAVs: A decomposition approach","created":"2025-12-28","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":"2606.30935","title":"ShardNet: Training Neural Controllers with Hard, Non-Convex Constraints","created":"2026-06-29","cited_by_count":0,"area":null},{"id":"2608.11480","title":"Forward Trajectory Steering for Hamilton-Jacobi Reachability Analysis","created":"2026-08-11","cited_by_count":0,"area":null},{"id":"2609.12831","title":"VertexCBF: Improving Neural Control Barrier Functions via Vertex-Restricted Control Search","created":"2026-09-11","cited_by_count":0,"area":null},{"id":"2609.28364","title":"LEAP-CBF: A Safety Filter for Uncertain Systems with Least-Effort Adversarial Potentials","created":"2026-09-23","cited_by_count":0,"area":null}],"next_cursor":null}