Marcel Vinzent

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Face Verification

Bounded Model Checking

Top Venues

Publications

Marcel Vinzent, Jörg Hoffmann
Neural Action Policy Safety Verification: Applicablity Filtering. ICAPS (2024)
Marcel Vinzent, Siddhant Sharma, Jörg Hoffmann
Neural Policy Safety Verification via Predicate Abstraction: CEGAR. AAAI (2023)
Marcel Vinzent, Marcel Steinmetz, Jörg Hoffmann
Neural Network Action Policy Verification via Predicate Abstraction. ICAPS (2022)