Bettina Könighofer

61 papers A* 7A 2B 7C 2Journal 27Unranked 15
YearRankTypeTitle / Venue / Authors
2026 B ed.
Runtime Verification - 25th International Conference, RV 2025, Graz, Austria, September 15-19, 2025, Proceedings
RV
Bettina Könighofer, Hazem Torfah
2025 A* conf
Fairness Shields: Safeguarding against Biased Decision Makers.
AAAI
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik
2025 J jnl
Shields for Safe Reinforcement Learning.
Commun. ACM
Bettina Könighofer, Roderick Bloem, Nils Jansen, Sebastian Junges, Stefan Pranger
2024 — conf
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions.
CSLAW
Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac
2024 B conf
Abstraction-Based Decision Making for Statistical Properties (Invited Talk).
FSCD
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik
2024 J jnl
Fairness Shields: Safeguarding against Biased Decision Makers.
CoRR
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik
2024 A conf
Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing.
ICST
Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Bettina Könighofer
2024 A* conf
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data.
ICSE
Martin Tappler, Andrea Pferscher, Bernhard K. Aichernig, Bettina Könighofer
2024 J jnl
Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071).
Dagstuhl Reports
Jyotirmoy Deshmukh, Bettina Könighofer, Dejan Nickovic, Filip Cano
2024 A* conf
Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning.
NeurIPS
Stefan Pranger, Hana Chockler, Martin Tappler, Bettina Könighofer
2024 J jnl
Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning.
CoRR
Stefan Pranger, Hana Chockler, Martin Tappler, Bettina Könighofer
2024 J jnl
Tools at the Frontiers of Quantitative Verification.
CoRR
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2024 — conf
soid: A Tool for Legal Accountability for Automated Decision Making.
CAV (2)
Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac
2023 J jnl
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions.
CoRR
Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac
2023 J jnl
Accountable Software Systems (Dagstuhl Seminar 23411).
Dagstuhl Reports
Bettina Könighofer, Joshua A. Kroll, Ruzica Piskac, Michael Veale, Filip Cano Córdoba
2023 A* conf
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty.
IJCAI
Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer
2023 J jnl
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty.
CoRR
Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer
2023 — conf
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.
AISoLA
Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu
2023 B conf
Formal Methods for Trused AI.
FMCAD
Bettina Könighofer
2023 — conf
Formal XAI via Syntax-Guided Synthesis.
AISoLA
Katrine Bjørner, Samuel Judson, Filip Cano, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer
2023 J jnl
Learning Environment Models with Continuous Stochastic Dynamics.
CoRR
Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Bettina Könighofer
2023 J jnl
Online shielding for reinforcement learning.
Innov. Syst. Softw. Eng.
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
2023 — ed.
Proceedings of the IJCAI-23 Joint Workshop on Artificial Intelligence Safety and Safe Reinforcement Learning (AISafety-SafeRL 2023) co-located with the 32nd International Joint Conference on Artificial Intelligence(IJCAI2023), Macau, China, August 21-22, 2023.
AISafety/SafeRL@IJCAI
Gabriel Pedroza, Xiaowei Huang, Xin Cynthia Chen, Andreas Theodorou, Huáscar Espinoza, Nikolaos Matragkas, José Hernández-Orallo, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid, David M. Bossens, Bettina Könighofer, Sebastian Tschiatschek, Anqi Liu
2023 — conf
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties.
SPIN
Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer
2023 A* conf
Safety Shielding under Delayed Observation.
ICAPS
Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer
2023 J jnl
Safety Shielding under Delayed Observation.
CoRR
Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer
2023 — conf
Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report.
TOOLympics@ETAPS
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2023 — conf
Welcome Remarks from AISoLA 2023/Track C2 Chairs.
AISoLA
Nils Jansen, Bettina Könighofer, Jan Kretínský, Kim G. Larsen
2022 — conf
Automata Learning Meets Shielding.
ISoLA (1)
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
2022 J jnl
Automata Learning meets Shielding.
CoRR
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
2022 — conf
Correct-by-Construction Runtime Enforcement in AI - A Survey.
Principles of Systems Design
Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek
2022 J jnl
Correct-by-Construction Runtime Enforcement in AI - A Survey.
CoRR
Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek
2022 J jnl
Online Shielding for Reinforcement Learning.
CoRR
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
2022 A* conf
Search-Based Testing of Reinforcement Learning.
IJCAI
Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, Bettina Könighofer
2022 J jnl
Search-Based Testing of Reinforcement Learning.
CoRR
Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, Bettina Könighofer
2021 C conf
Adaptive Shielding under Uncertainty.
ACC
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
2021 — conf
Online Shielding for Stochastic Systems.
NFM
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
2021 B conf
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments.
ATVA
Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem
2021 J jnl
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments.
CoRR
Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem
2020 J jnl
Adaptive Shielding under Uncertainty.
CoRR
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
2020 J jnl
It's Time to Play Safe: Shield Synthesis for Timed Systems.
CoRR
Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer, Kim Guldstrand Larsen, Florian Lorber, Alexander Palmisano
2020 J jnl
Online Shielding for Stochastic Systems.
CoRR
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
2020 B conf
Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper).
CONCUR
Nils Jansen, Bettina Könighofer, Sebastian Junges, Alex Serban, Roderick Bloem
2020 — conf
Shield Synthesis for Reinforcement Learning.
ISoLA (1)
Bettina Könighofer, Florian Lorber, Nils Jansen, Roderick Bloem
2019 — conf
Run-Time Optimization for Learned Controllers Through Quantitative Games.
CAV (1)
Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger
2019 J jnl
Synthesis of Admissible Shields.
CoRR
Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu
2019 C conf
Synthesis of Minimum-Cost Shields for Multi-agent Systems.
ACC
Suda Bharadwaj, Roderick Bloem, Rayna Dimitrova, Bettina Könighofer, Ufuk Topcu
2018 — conf
Formal Verification of Masked Hardware Implementations in the Presence of Glitches.
EUROCRYPT (2)
Roderick Bloem, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard, Johannes Winter
2018 A* conf
Safe Reinforcement Learning via Shielding.
AAAI
Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu
2018 J jnl
Shielded Decision-Making in MDPs.
CoRR
Nils Jansen, Bettina Könighofer, Sebastian Junges, Roderick Bloem
2017 J jnl
Formal Verification of Masked Hardware Implementations in the Presence of Glitches.
IACR Cryptol. ePrint Arch.
Roderick Bloem, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard, Johannes Winter
2017 J jnl
Safe Reinforcement Learning via Shielding.
CoRR
Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu
2017 J jnl
Shield synthesis.
Formal Methods Syst. Des.
Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura R. Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang
2016 — conf
Synthesis of Admissible Shields.
Haifa Verification Conference
Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu
2015 A conf
Shield Synthesis: - Runtime Enforcement for Reactive Systems.
TACAS
Roderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang
2015 J jnl
Shield Synthesis: Runtime Enforcement for Reactive Systems.
CoRR
Roderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang
2014 B conf
Synthesis of synchronization using uninterpreted functions.
FMCAD
Roderick Bloem, Georg Hofferek, Bettina Könighofer, Robert Könighofer, Simon Ausserlechner, Raphael Spork
2014 J jnl
Synthesizing robust systems.
Acta Informatica
Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer
2013 J jnl
Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof.
CoRR
Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem
2013 B conf
Synthesizing multiple boolean functions using interpolation on a single proof.
FMCAD
Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem
2012 — conf
Synthesizing Robust Systems with RATSY
SYNT
Roderick Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer