Neural Network Action Policy Verification via Predicate Abstraction. - Marcel Vinzent; Marcel Steinmetz; Jörg Hoffmann 001 (ICAPS, 2022)

Neural Policy Safety Verification via Predicate Abstraction: CEGAR. - Marcel Vinzent; Siddhant Sharma; Jörg Hoffmann 001 (AAAI, 2023)

Safety Verification of Tree-Ensemble Policies via Predicate Abstraction. - Chaahat Jain; Lorenzo Cascioli; Laurens Devos; Marcel Vinzent; Marcel Steinmetz; Jesse Davis; Jörg Hoffmann 001 (ECAI, 2024)

Neural Action Policy Safety Verification: Applicablity Filtering. - Marcel Vinzent; Jörg Hoffmann 001 (ICAPS, 2024)