New framework for probabilistic safety shields in MDPs showing impossibility of strong classical guarantees and providing weaker but usable alternatives with offline and online constructions.
Hamel-De le Court, F
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Shield synthesis is repositioned as a design-time defensibility analysis framework for adversarial networks, generating verdicts, winning regions, and fingerprints that separate formal safety from operational behavior under adaptive play.
citing papers explorer
-
Beyond Runtime Enforcement: Shield Synthesis as Defensibility Analysis for Adversarial Networks
Shield synthesis is repositioned as a design-time defensibility analysis framework for adversarial networks, generating verdicts, winning regions, and fingerprints that separate formal safety from operational behavior under adaptive play.