safety guarantee

Conformal LLM Routing with Distribution-Free Safety Guarantees ACL 2026 Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees AAAI 2026 A Safe Bayesian Learning Algorithm for Constrained MDPs with Bounded Constraint Violation AISTATS 2025 Learning for Layered Safety-Critical Control with Predictive Control Barrier Functions L4DC 2025 Learning Geometrically-Informed Lyapunov Functions with Deep Diffeomorphic RBF Networks AISTATS 2025 SPoRt - Safe Policy Ratio: Certified Training and Deployment of Task Policies in Model-Free RL IJCAI 2025 Physics-Regulated Deep Reinforcement Learning: Invariant Embeddings ICLR 2024 POLICEd RL: Learning Closed-Loop Robot Control Policies with Provable Satisfaction of Hard Constraints RSS 2024 Verification of neural reachable tubes via scenario optimization and conformal prediction L4DC 2024 Guarded Policy Optimization with Imperfect Online Demonstrations ICLR 2023 Provable Safe Reinforcement Learning with Binary Feedback AISTATS 2023 Safe Interactive Autonomy for Multi-Agent Systems AAAI 2023 Tackling Safe and Efficient Multi-Agent Reinforcement Learning via Dynamic Shielding (Student Abstract) AAAI 2023 Gaussian Process-Based Real-Time Learning for Safety Critical Applications ICML 2021 Online Robust Control of Nonlinear Systems with Large Uncertainty AISTATS 2021 Sample Complexity Bounds for Iterative Stochastic Policy Optimization NeurIPS 2015 Projected Natural Actor-Critic NeurIPS 2013