Sign in
Marcel Vinzent
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Decision Theoretic Planning
Partially Observable Domains
Bounded Model Checking
Neural Network
Top Venues
ICAPS
AAAI
</>
Publications
</>
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)