conftrace_

safety guarantee

10 papers

Explore in graph

Co-occurring keywords

reachability analysis (35) autonomous vehicle (252) formal verification (284) policy optimization (657) conformal prediction (215) online learning (1777) decentralized learning (103) scenario optimization (6) neural network controller (20) controller design (12)

Papers

Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees AAAI 2026
Conformal LLM Routing with Distribution-Free Safety Guarantees ACL 2026
SPoRt - Safe Policy Ratio: Certified Training and Deployment of Task Policies in Model-Free RL IJCAI 2025
Verification of neural reachable tubes via scenario optimization and conformal prediction L4DC 2024
POLICEd RL: Learning Closed-Loop Robot Control Policies with Provable Satisfaction of Hard Constraints RSS 2024
Safe Interactive Autonomy for Multi-Agent Systems AAAI 2023
Tackling Safe and Efficient Multi-Agent Reinforcement Learning via Dynamic Shielding (Student Abstract) AAAI 2023
Provable Safe Reinforcement Learning with Binary Feedback AISTATS 2023
Online Robust Control of Nonlinear Systems with Large Uncertainty AISTATS 2021
Gaussian Process-Based Real-Time Learning for Safety Critical Applications ICML 2021