Marcel Vinzent
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Probabilistic Safety Verification of Neural Policies via Predicate Abstraction. | Marcel Vinzent, Holger Hermanns, Jrg Hoffmann |
| 2025 | ECAI | Policy Safety Testing in Non-Deterministic Planning: Fuzzing, Test Oracles, Fault Analysis. | Chaahat Jain, Daniel Sherbakov, Marcel Vinzent, Marcel Steinmetz, Jesse Davis, Jrg Hoffmann |
| 2024 | ECAI | Safety Verification of Tree-Ensemble Policies via Predicate Abstraction. | Chaahat Jain, Lorenzo Cascioli, Laurens Devos, Marcel Vinzent, Marcel Steinmetz, Jesse Davis, Jrg Hoffmann |
| 2024 | ICAPS | Neural Action Policy Safety Verification: Applicablity Filtering. | Marcel Vinzent, Jrg Hoffmann |
| 2023 | AAAI | Neural Policy Safety Verification via Predicate Abstraction: CEGAR. | Marcel Vinzent, Siddhant Sharma, Jrg Hoffmann |