|
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.