Foundations of Artificial Intelligence (FAI) Group
divider line
Back to FAI

Marcel Vinzent

Computer Science Department
Foundations of Artificial Intelligence (FAI) Group
Campus E 1.1, R. 3.13
Universität des Saarlandes
66123 Saarbrücken, Germany

Mail:

I am a PhD student at Saarland University under the supervision of Prof. Dr. Jörg Hoffmann. Currently, the focus of my research lies in NN action policy inspection, in particular via predicate abstraction.
divider line