conftrace_

safe control

24 papers

Explore in graph

Co-occurring keywords

control barrier function (39) barrier function (10) autonomous vehicle (252) safe reinforcement learning (120) safety-critical control (9) neural network dynamic model (2) relu neural network (35) dynamical system (398) constraint satisfaction (294) gaussian process regression (133)

Papers

Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis (Abstract Reprint) AAAI 2026
Efficient Verification and Falsification of ReLU Neural Barrier Certificates AAAI 2026
Neural Control and Certificate Repair via Runtime Monitoring AAAI 2025
Solving Multi-Agent Safe Optimal Control with Distributed Epigraph Form MARL RSS 2025
Generalizing Safety Beyond Collision-Avoidance via Latent-Space Reachability Analysis RSS 2025
Dynamic Safety in Complex Environments: Synthesizing Safety Filters with Poisson’s Equation RSS 2025
Sampling-based Safe Reinforcement Learning for Nonlinear Dynamical Systems AISTATS 2024
Reinforcement Learning with Adaptive Regularization for Safe Control of Critical Systems NIPS 2024
Real-time safe control of neural network dynamic models with sound approximation L4DC 2024
Evaluating Model-Free Reinforcement Learning toward Safety-Critical Tasks AAAI 2023
Robust Safety under Stochastic Uncertainty with Discrete-Time Control Barrier Functions RSS 2023
Rethinking Safe Control in the Presence of Self-Seeking Humans AAAI 2023
Safe Control with Neural Network Dynamic Models L4DC 2022
Safe Control Under Input Limits with Neural Control Barrier Functions CORL 2022
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
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 NIPS 2021
Planning with General Objective Functions: Going Beyond Total Rewards NIPS 2020
Learning Hybrid Control Barrier Functions from Data CORL 2020
L1-GP: L1 Adaptive Control with Bayesian Learning L4DC 2020
Uniform Error Bounds for Gaussian Process Regression with Application to Safe Control NIPS 2019
Safe Control under Uncertainty with Probabilistic Signal Temporal Logic RSS 2016