conftrace_

probabilistic shielding

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

state augmentation (1) formal guarantee (1) safety constraint (1) safe reinforcement learning (1) markov decision process (1) formal verification (1)

Papers

Probabilistic Shielding for Safe Reinforcement Learning AAAI 2025