Bettina KönighoferDipl.-Ing. BSc
Formal Methods, PhD Candidate
Since 2015, I’m lecturing the bachelor course:
- Logic and Compatibility (lecture and practicals: summer term)
I teach formal specifications, synthesis and game theory as part of the graduate course:
- Selected Topics Design and Verification (lecture and practicals: winter term)
I assisted in several courses in the field of testing, verification and synthesis, and I have co-supervised several Bachelor and Master students.
Shielded Decision-Making in MDPs
Könighofer, B. & Bloem, R.
Safe Reinforcement Learning via Shielding
Bloem, R. & Könighofer, B.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018, 2669-2678
Shield Synthesis: - Runtime Enforcement for Reactive Systems
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference, Springer, 533-548, (Lecture Notes in Computer Science; vol. )
Synthesizing Robust Systems
Formal Verification of Masked Hardware Implementations in the Presence of Glitches
Bloem, R., Iusupov, R., Könighofer, B. & Mangard, S.
EUROCRYPT , Springer, 321-353, (Lecture Notes in Computer Science; vol. )