Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
An Adaptive, Provable Correct Simplex Architecture
Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Nickovic, D. & Könighofer, B., 4 Feb 2025, (E-pub ahead of print) In: International Journal on Software Tools for Technology Transfer. 19 p., 2589.Research output: Contribution to journal › Article › peer-review
Open Access -
Explainably Safe Reinforcement Learning
Rieder, S., Pranger, S., Chakraborty, D., Křetínský, J. & Könighofer, B., 2025, (Accepted/In press) 39th Conference on Neural Information Processing Systems (NeurIPS 2025). 30 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Fairness Shields: Safeguarding against Biased Decision Makers
Cano Cordoba, F., Henzinger, T. A., Könighofer, B., Kueffner, K. & Mallik, K., 11 Apr 2025, Proceedings of the AAAI Conference on Artificial Intelligence. 15 ed. Association for the Advancement of Artificial Intelligence (AAAI) , Vol. 39. p. 15659-15668 10 p. (Proceedings of the AAAI Conference on Artificial Intelligence).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access -
Shields for Safe Reinforcement Learning
Könighofer, B., Bloem, R., Jansen, N., Junges, S. & Pranger, S., 20 Oct 2025, In: Communications of the ACM. 68, 11, p. 80 - 90 11 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report
Andriushchenko, R., Bork, A., Budde, C. E., Češka, M., Grover, K., Hahn, E. M., Hartmanns, A., Israelsen, B., Jansen, N., Jeppson, J., Junges, S., Köhl, M. A., Könighofer, B., Křetínský, J., Meggendorfer, T., Parker, D., Pranger, S., Quatmann, T., Ruijters, E. & Taylor, L. & 3 others, , 2025, TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions. Beyer, D., Hartmanns, A. & Kordon, F. (eds.). Springer, Cham, p. 90–146 57 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14550 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Activities
-
25th International Conference on Runtime Verification
Könighofer, B. (Participant)
15 Sept 2025 → 19 Sept 2025Activity: Participation in or organisation of › Festival or exhibition (Participation in/Organisation of)
-
Shielding for Trustworthy AI Systems
Könighofer, B. (Speaker)
24 Jun 2025Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Fairness Shields: Safeguarding against Biased Decision Makers
Cano Cordoba, F. (Speaker), Henzinger, T. A. (Contributor), Könighofer, B. (Contributor), Kueffner, K. (Speaker) & Mallik, K. (Speaker)
1 Mar 2025Activity: Talk or presentation › Poster presentation › Science to science
-
Model-Based AI for Turstworthy Reinforcement Learning
Könighofer, B. (Speaker)
27 Mar 2025Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Shielding for Safe and Fair Sequential Decision Making
Könighofer, B. (Speaker)
25 Nov 2025Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
EU - MSCA - SPRING - Doctoral Network for reSilience exPeRts IN future larGe-scale critical infrastructures
Könighofer, B. (Project manager on research unit)
1/03/26 → 28/02/30
Project: Research project
-
FWF - Driven Molecules - Artificial-Intelligence-driven Variable Assembly of Molecules
Behrndt, J. (Project manager on research unit), Hofmann, O. (Consortium manager resp. coordinator with external organisations), Aichhorn, M. (Project manager on research unit), Hofmann, O. (Consortium manager resp. coordinator of internal research units), Hofmann, O. (Project manager on research unit) & Könighofer, B. (Project manager on research unit)
1/06/25 → 31/05/30
Project: Research project
-
FWF - BILAI - Bilateral Artificial Intelligence
Pock, T. (Project manager on research unit), Legenstein, R. (Project manager on research unit), Wotawa, F. (Project manager on research unit), Legenstein, R. (Consortium manager resp. coordinator of internal research units), Lex, E. (Project manager on research unit) & Könighofer, B. (Project manager on research unit)
1/10/24 → 30/09/29
Project: Research project
-
FWF - RiSE - Rigorous Systems Engineering
Könighofer, R. (Attendee / Assistant), Khalimov, A. (Attendee / Assistant), Jacobs, S. (Attendee / Assistant), Bloem, R. (Project manager) & Könighofer, B. (Attendee / Assistant)
1/03/11 → 31/08/19
Project: Research project
-
EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design
Könighofer, R. (Attendee / Assistant), Jacobs, S. (Attendee / Assistant), Greimel, K. (Attendee / Assistant), Hofferek, G. (Contact person), Bloem, R. (Project manager), Khalimov, A. (Attendee / Assistant) & Könighofer, B. (Attendee / Assistant)
1/01/10 → 31/12/12
Project: Research project