Bettina Könighofer

Ass.Prof. Dipl.-Ing. Dr.techn. BSc

Formal 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
Bettina Könighofer

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

'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)

Tools at the Frontiers of Quantitative Verification (QComp 2023 Competition Report)

Pranger S., Könighofer B.
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

More Publications