safe control

ATOM-CBF: Adaptive Safe Perception-Based Control under Out-of-Distribution Measurements L4DC 2026 Efficient Verification and Falsification of ReLU Neural Barrier Certificates AAAI 2026 Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis (Abstract Reprint) AAAI 2026 Dynamic Safety in Complex Environments: Synthesizing Safety Filters with Poisson’s Equation RSS 2025 From Uncertain to Safe: Conformal Adaptation of Diffusion Models for Safe PDE Control ICML 2025 Generalizing Safety Beyond Collision-Avoidance via Latent-Space Reachability Analysis RSS 2025 Neural Control and Certificate Repair via Runtime Monitoring AAAI 2025 Solving Multi-Agent Safe Optimal Control with Distributed Epigraph Form MARL RSS 2025 Toward Exploratory Inverse Constraint Inference with Generative Diffusion Verifiers ICLR 2025 Real-time safe control of neural network dynamic models with sound approximation L4DC 2024 Reinforcement Learning with Adaptive Regularization for Safe Control of Critical Systems NeurIPS 2024 Robust Inverse Constrained Reinforcement Learning under Model Misspecification ICML 2024 Sampling-based Safe Reinforcement Learning for Nonlinear Dynamical Systems AISTATS 2024 Uncertainty-aware Constraint Inference in Inverse Constrained Reinforcement Learning ICLR 2024 Evaluating Model-Free Reinforcement Learning toward Safety-Critical Tasks AAAI 2023 Rethinking Safe Control in the Presence of Self-Seeking Humans AAAI 2023 Robust Safety under Stochastic Uncertainty with Discrete-Time Control Barrier Functions RSS 2023 Adaptive Safe Behavior Generation for Heterogeneous Autonomous Vehicles Using Parametric-Control Barrier Functions (Student Abstract) AAAI 2022 Safe Autonomous Navigation for Systems with Learned SE(3) Hamiltonian Dynamics L4DC 2022 Safe Control Under Input Limits with Neural Control Barrier Functions CoRL 2022 Safe Control with Neural Network Dynamic Models L4DC 2022 Safety-Aware Preference-Based Learning for Safety-Critical Control L4DC 2022 KPC: Learning-Based Model Predictive Control with Deterministic Guarantees L4DC 2021 Safe Pontryagin Differentiable Programming NeurIPS 2021 L1-GP: L1 Adaptive Control with Bayesian Learning L4DC 2020