Authors Search About

Vinzent, Marcel

1 publications

AAAI 2023 Neural Policy Safety Verification via Predicate Abstraction: CEGAR Marcel Vinzent, Siddhant Sharma, Jörg Hoffmann

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy