A reinforcement learning navigation safety layer that finds unsafe policy regions via probabilistic verification and corrects actions with a control barrier function, reporting zero collisions in tests.
Enumerating safe regions in deep neural networks with provable probabilistic guarantees
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2025 1verdicts
REJECT 1representative citing papers
citing papers explorer
-
Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation
A reinforcement learning navigation safety layer that finds unsafe policy regions via probabilistic verification and corrects actions with a control barrier function, reporting zero collisions in tests.