Bettina Könighofer
Ass.Prof. Dipl.-Ing. Dr.techn. BScFormal Methods, Assistant Professor
Bettina Könighofer is assistant professor of Formal Methods and Machine Learning at Graz University of Technology. Bettina's research interests lie primarily in the area of reinforcement learning, formal verification, model checking, and runtime monitoring and enforcement.
Office room: IF020680 TUGRAZOnline_VisitenkartePublications
Online Shielding for Stochastic Systems
Könighofer B., Bloem R., Tappler M., Rudolf J., Palmisano A.
NASA Formal Methods, 13th NASA Formal Methods Symposium
Shield Synthesis for Reinforcement Learning
Könighofer B., Bloem R., Jansen N., Lorber F.
Leveraging Applications of Formal Methods, Verification and Validation, Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings, 2020 International Symposium on Leveraging Applications of Formal Methods, 290-306, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12476 LNCS)
Adaptive Shielding under Uncertainty
Pranger S., Könighofer B., Tappler M., Deixelberger M., Jansen N., Bloem R.
arXiv.org e-Print archive
It's Time to Play Safe: Shield Synthesis for Timed Systems
Bloem R., Jensen P., Könighofer B., Larsen K., Lorber F., Palmisano A.
arXiv.org e-Print archive
Safe Reinforcement Learning Using Probabilistic Shields
Jansen N., Könighofer B., Junges S., Serban A., Bloem R.
31st International Conference on Concurrency Theory, CONCUR 2020, 31st CONCUR 2020: Vienna, Austria (Virtual Conference), 31st International Conference on Concurrency Theory, 31-316