conftrace_

non-markovian safety

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

continuous-space shield (1) realizability verification (1) safety specification (1) multi-agent environment (1) safe reinforcement learning (1)

Papers

Realizable Continuous-Space Shields for Safe Reinforcement Learning L4DC 2025