|
Foundations of Artificial Intelligence (FAI) Group
|
|
| About me Publications | FAI Group Members Back to FAI |
I am a PhD student at the chair of Prof. Jörg Hoffmann
in the Computer Science department at Saarland University.
The focus of my research is neural action policy verification via predicate abstraction.
Here you can find my CV.