Probabilistic Safety Verification of Neural Policies via Predicate Abstraction.

Marcel Vinzent, Holger Hermanns, Jrg Hoffmann

Browse the full AAAI paper archive.