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_Visitenkarte
Publications
An Adaptive, Provable Correct Simplex Architecture
Maderbacher B., Schupp S., Bartocci E., Bloem R., Nickovic D., Könighofer B.
International Journal on Software Tools for Technology Transfer
Abstraction-Based Decision Making for Statistical Properties
Cano Cordoba F., Henzinger T., Könighofer B., Kueffner K., Mallik K.
9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, 9th International Conference on Formal Structures for Computation and Deduction, 2:1–2:17, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 299)
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions
Judson S., Elacqua M., Cano Cordoba F., Antonopoulos T., Könighofer B., Shapiro S., Piskac R.
CSLAW 2024 - Proceedings of the 3rd Symposium on Computer Science and Law, 2024 Computer Science and Law Symposium, 73-85
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data
Tappler M., Pferscher A., Aichernig B., Könighofer B.
ICSE 2024 - Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 46th International Conference on Software Engineering, 27-39
Welcome Remarks from AISoLA 2023/Track C2 Chairs
Jansen N., Könighofer B., Křetínský J., Larsen K.
Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings, 1st International Conference on Bridging the Gap between AI and Reality, 25-32, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14380 LNCS)