conftrace_

robot safety

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

closed-loop safety (1) bayesian belief propagation (1) model predictive shielding (1) probabilistic model checking (1) extreme environment (1) statistical verification (1) statistical model predictive shielding (1) backup policy (1) sampling-based verification (1) robotics safety (1)

Papers

Generalizing Safety Beyond Collision-Avoidance via Latent-Space Reachability Analysis RSS 2025 Provably-Safe, Online System Identification RSS 2025 Deception Game: Closing the Safety-Learning Loop in Interactive Robot Autonomy CoRL 2023 Safe Reinforcement Learning via Statistical Model Predictive Shielding RSS 2021 Probabilistic Model Checking of Robots Deployed in Extreme Environments AAAI 2019