conftrace_

barrier function

10 papers

Explore in graph

Co-occurring keywords

safe control (24) safe reinforcement learning (120) uncertainty quantification (1393) convex body (7) dikin walk (2) log-concave sampling (13) constrained policy optimization (10) autonomous system (63) nonlinear system (36) lagrangian method (14)

Papers

Proactive Constrained Policy Optimization with Preemptive Penalty AAAI 2026
Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions AAAI 2026
Neural Control and Certificate Repair via Runtime Monitoring AAAI 2025
Log-concave Sampling from a Convex Body with a Barrier: a Robust and Unified Dikin Walk NIPS 2024
State-wise safe reinforcement learning with pixel observations L4DC 2024
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments ICML 2023
Safe Control with Neural Network Dynamic Models L4DC 2022
Safe Pontryagin Differentiable Programming NIPS 2021
Submodular Maximization Through Barrier Functions NIPS 2020
Finite-Time Regional Verification of Stochastic Nonlinear Systems RSS 2011