Marcel Vinzent

According to our database, Marcel Vinzent authored at least 6 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Probabilistic Safety Verification of Neural Policies via Predicate Abstraction.

Marcel Vinzent, Holger Hermanns, Jörg Hoffmann

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Policy Safety Testing in Non-Deterministic Planning: Fuzzing, Test Oracles, Fault Analysis.

Chaahat Jain, Daniel Sherbakov, Marcel Vinzent, Marcel Steinmetz, Jesse Davis, Jörg Hoffmann

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025

2024

Neural Action Policy Safety Verification: Applicablity Filtering.

Marcel Vinzent, Jörg Hoffmann

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

Safety Verification of Tree-Ensemble Policies via Predicate Abstraction.

Chaahat Jain, Lorenzo Cascioli, Laurens Devos, Marcel Vinzent, Marcel Steinmetz, Jesse Davis, Jörg Hoffmann

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

Neural Policy Safety Verification via Predicate Abstraction: CEGAR.

Marcel Vinzent, Siddhant Sharma, Jörg Hoffmann

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Neural Network Action Policy Verification via Predicate Abstraction.

Marcel Vinzent, Marcel Steinmetz, Jörg Hoffmann

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022