Marcel Vinzent

According to our database, Marcel Vinzent authored at least 4 papers between 2022 and 2024.

Collaborative distances:

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

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