Bettina Könighofer
Bettina Könighofer
PhD Student, Graz University of Technology, Austria
Verified email at iaik.tugraz.at
Title
Cited by
Cited by
Year
Synthesizing robust systems
R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ...
Acta Informatica 51 (3-4), 193-220, 2014
1312014
Safe reinforcement learning via shielding
M Alshiekh, R Bloem, R Ehlers, B Könighofer, S Niekum, U Topcu
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
1142018
Shield synthesis
R Bloem, B Könighofer, R Könighofer, C Wang
International Conference on Tools and Algorithms for the Construction and …, 2015
572015
Formal verification of masked hardware implementations in the presence of glitches
R Bloem, H Groß, R Iusupov, B Könighofer, S Mangard, J Winter
Annual International Conference on the Theory and Applications of …, 2018
402018
Shield synthesis
B Könighofer, M Alshiekh, R Bloem, L Humphrey, R Könighofer, U Topcu, ...
Formal Methods in System Design 51 (2), 332-361, 2017
262017
Shielded decision-making in MDPs
N Jansen, B Könighofer, S Junges, R Bloem
arXiv preprint arXiv:1807.06096, 2018
222018
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
182013
Synthesis of synchronization using uninterpreted functions
R Bloem, G Hofferek, B Könighofer, R Könighofer, S Außerlechner, ...
2014 Formal Methods in Computer-Aided Design (FMCAD), 35-42, 2014
152014
Synthesizing robust systems with RATSY
R Bloem, HJ Gamauf, G Hofferek, B Könighofer, R Könighofer
arXiv preprint arXiv:1207.1268, 2012
142012
Synthesis of minimum-cost shields for distributed systems
S Bharadwaj, R Bloem, R Dimitrova, B Könighofer, U Topcu
2019 Annual American Control Conference, ACC, 10-12, 2019
72019
Run-time optimization for learned controllers through quantitative games
G Avni, R Bloem, K Chatterjee, TA Henzinger, B Könighofer, S Pranger
International Conference on Computer Aided Verification, 630-649, 2019
42019
Synthesis of admissible shields
L Humphrey, B Könighofer, R Könighofer, U Topcu
Haifa Verification Conference, 134-151, 2016
32016
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
12019
It's Time to Play Safe: Shield Synthesis for Timed Systems
R Bloem, PG Jensen, B Könighofer, KG Larsen, F Lorber, A Palmisano
arXiv preprint arXiv:2006.16688, 2020
2020
Safe Reinforcement Learning via Probabilistic Shields
N Jansen, B Könighofer, S Junges, AC Serban, R Bloem
arXiv, arXiv: 1807.06096, 2018
2018
Akshay, S.
S Amani, A Bakhirkin, T Balabonski, H Barbosa, D Burlyaev, PE Camurati, ...
Safe Reinforcement Learning via Shielding
R Bloem, R Ehlers, B Könighofer, C Thaller, U Topcu
Invited Talks and Student Forum
M Bozzano, A Cimatti, M Gario, A Griggio, B Könighofer, R Könighofer, ...
MATT–Musical Audition Test & Training
B Könighofer, P Weber
The system can't perform the operation now. Try again later.
Articles 1–19