Matthias Grill

Matthias Grill is a PhD student in the Trusted AI Group at TU Graz, supervised by Prof. Bettina Könighofer. His research focuses on bridging world model learning with formal safety. This includes developing methods to extract symbolic and abstract models to enable model checking and safety guarantees.

Research Interests

• World model learning
• Learning symbolic models from image-based reinforcement learning agents
• Formal safety analysis based on learned world models