Follow
Bettina Könighofer
Bettina Könighofer
Assistant Professor, Graz University of Technology, Austria
Verified email at iaik.tugraz.at - Homepage
Title
Cited by
Cited by
Year
Safe reinforcement learning via shielding
M Alshiekh, R Bloem, R Ehlers, B Könighofer, S Niekum, U Topcu
Proceedings of the AAAI conference on artificial intelligence 32 (1), 2018
8132018
Shield synthesis: Runtime enforcement for reactive systems
R Bloem, B Könighofer, R Könighofer, C Wang
International conference on tools and algorithms for the construction and …, 2015
1482015
Formal verification of masked hardware implementations in the presence of glitches
R Bloem, H Groß, R Iusupov, B Könighofer, S Mangard, J Winter
Advances in Cryptology–EUROCRYPT 2018: 37th Annual International Conference …, 2018
1302018
Safe reinforcement learning using probabilistic shields
N Jansen, B Könighofer, S Junges, A Serban, R Bloem
31st International Conference on Concurrency Theory (CONCUR 2020), 2020
1112020
Synthesizing robust systems
R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ...
Acta Informatica 51, 193-220, 2014
932014
Shield synthesis
B Könighofer, M Alshiekh, R Bloem, L Humphrey, R Könighofer, U Topcu, ...
Formal Methods in System Design 51, 332-361, 2017
822017
Shield synthesis for reinforcement learning
B Könighofer, F Lorber, N Jansen, R Bloem
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
592020
Shielded decision-making in MDPs
N Jansen, B Könighofer, S Junges, R Bloem
arXiv preprint arXiv:1807.06096, 1, 2018
532018
Run-time optimization for learned controllers through quantitative games
G Avni, R Bloem, K Chatterjee, TA Henzinger, B Könighofer, S Pranger
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
482019
Adaptive shielding under uncertainty
S Pranger, B Könighofer, M Tappler, M Deixelberger, N Jansen, R Bloem
2021 American Control Conference (ACC), 3467-3474, 2021
242021
Synthesis of synchronization using uninterpreted functions
R Bloem, G Hofferek, B Könighofer, R Könighofer, S Ausserlechner, ...
2014 Formal Methods in Computer-Aided Design (FMCAD), 35-42, 2014
232014
Synthesis of minimum-cost shields for multi-agent systems
S Bharadwaj, R Bloem, R Dimitrova, B Konighofer, U Topcu
2019 American Control Conference (ACC), 1048-1055, 2019
222019
Synthesizing multiple boolean functions using interpolation on a single proof
G Hofferek, A Gupta, B Könighofer, JHR Jiang, R Bloem
2013 Formal Methods in Computer-Aided Design, 77-84, 2013
212013
Search-based testing of reinforcement learning
M Tappler, FC Córdoba, BK Aichernig, B Könighofer
Proceedings of the Thirty-First International Joint Conference on Artificial …, 2022
192022
Online shielding for stochastic systems
B Könighofer, J Rudolf, A Palmisano, M Tappler, R Bloem
NASA Formal Methods Symposium, 231-248, 2021
192021
Online shielding for reinforcement learning
B Könighofer, J Rudolf, A Palmisano, M Tappler, R Bloem
Innovations in Systems and Software Engineering 19 (4), 379-394, 2023
172023
Synthesizing robust systems with RATSY
R Bloem, HJ Gamauf, G Hofferek, B Könighofer, R Könighofer
arXiv preprint arXiv:1207.1268, 2012
172012
TEMPEST-synthesis tool for reactive systems and shields in probabilistic environments
S Pranger, B Könighofer, L Posch, R Bloem
Automated Technology for Verification and Analysis: 19th International …, 2021
142021
Synthesis of admissible shields
L Humphrey, B Könighofer, R Könighofer, U Topcu
Hardware and Software: Verification and Testing: 12th International Haifa …, 2016
132016
Safe reinforcement learning via probabilistic shields
N Jansen, B Könighofer, S Junges, AC Serban, R Bloem
arXiv preprint arXiv:1807.06096, 2018
112018
The system can't perform the operation now. Try again later.
Articles 1–20