Neural Policy Safety Verification via Predicate Abstraction: CEGAR.

Marcel Vinzent, Siddhant Sharma, Jrg Hoffmann

Browse the full AAAI paper archive.