Bettina Könighofer

Synthesizing robust systems

Roderick Bloem, Krishnendu Chatterjee, Karin Greimel et al. · Acta Informatica · 2013 · 71 citations

Robust Systems, Engineering, Formal Methods +7

Safe Reinforcement Learning Using Probabilistic Shields

Nils Jansen, Bettina Könighofer, Sebastian Junges et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2020 · 51 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +11

Shield synthesis

Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem et al. · Formal Methods in System Design · 2017 · 47 citations · Full text

Safe Reinforcement Learning via Shielding

Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2018 · 36 citations · Full text

Artificial Intelligence, Algorithms Discover Policies, Reward Hacking +14

Shielded Decision-Making in MDPs.

Nils Jansen, Bettina Könighofer, Sebastian Junges et al. · arXiv (Cornell University) · 2018 · 24 citations · Full text

Artificial Intelligence, Distributed Decision Making, Reward Hacking +15