Scholar
Bettina Könighofer
Google Scholar ID: oryeMcgAAAAJ
Assistant Professor, Graz University of Technology, Austria
Safe AI
Reinforcement Learning
Shielding
Formal Methods
Fair Decision Making
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,388
H-index
18
i10-index
26
Publications
20
Co-authors
20
list available
Publications
3 items
ATLAS: Discovering Agent Strategies through LLM-Guided Abstraction and Automata Learning
2026
Cited
0
Explainably Safe Reinforcement Learning
2026
Cited
0
Easy-to-Use Shielding for Reinforcement Learning
2026
Cited
0
Co-authors
18 total
Roderick Bloem
Graz University of Technology
Ufuk Topcu
The University of Texas at Austin
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Ruediger Ehlers
Clausthal University of Technology
Filip Cano Córdoba
Institute of Science and Technology Austria
Martin Tappler
TU Wien
Stefan Pranger
Graz University of Technology
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
