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

Tools at the Frontiers of Quantitative Verification

Andriushchenko R., Bork A., Budde C., Češka M., Grover K., Hahn E., Hartmanns A., Israelsen B., Jansen N., Jeppson J., Junges S., Köhl M., Könighofer B., Křetínský J., Meggendorfer T., Parker D., Pranger S., Quatmann T., Ruijters E., Taylor L., Volk M., Weininger M., Zhang Z.
TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 90–146, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14550 LNCS)

Shields for Safe Reinforcement Learning

Könighofer B., Bloem R., Jansen N., Junges S., Pranger S.
Communications of the ACM

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

More Publications