Bettina Könighofer

According to our database, Bettina Könighofer authored at least 34 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data.

Martin Tappler, Andrea Pferscher, Bernhard K. Aichernig, Bettina Könighofer

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions.

Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac

Proceedings of the Symposium on Computer Science and Law, 2024

2023

Online shielding for reinforcement learning.

Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem

Innov. Syst. Softw. Eng., December, 2023

Accountable Software Systems (Dagstuhl Seminar 23411).

Bettina Könighofer, Joshua A. Kroll, Ruzica Piskac, Michael Veale, Filip Cano Córdoba

Dagstuhl Reports, 2023

Learning Environment Models with Continuous Stochastic Dynamics.

Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Bettina Könighofer

CoRR, 2023

'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions.

Samuel Judson, Matthew Elacqua, Filip Cano Córdoba, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac

CoRR, 2023

Welcome Remarks from AISoLA 2023/Track C2 Chairs.

Nils Jansen, Bettina Könighofer, Jan Kretínský, Kim G. Larsen

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Formal XAI via Syntax-Guided Synthesis.

Katrine Bjørner, Samuel Judson, Filip Cano Córdoba, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.

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

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties.

Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer

Proceedings of the Model Checking Software - 29th International Symposium, 2023

Analyzing Intentional Behavior in Autonomous Agents under Uncertainty.

Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Formal Methods for Trused AI.

Bettina Könighofer

Proceedings of the Formal Methods in Computer-Aided Design, 2023

Safety Shielding under Delayed Observation.

Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022

Automata Learning Meets Shielding.

Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Search-Based Testing of Reinforcement Learning.

Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, Bettina Könighofer

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Correct-by-Construction Runtime Enforcement in AI - A Survey.

Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek

Proceedings of the Principles of Systems Design, 2022

2021

Online Shielding for Stochastic Systems.

Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments.

Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem

Proceedings of the Automated Technology for Verification and Analysis, 2021

Adaptive Shielding under Uncertainty.

Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem

Proceedings of the 2021 American Control Conference, 2021

2020

It's Time to Play Safe: Shield Synthesis for Timed Systems.

Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer, Kim Guldstrand Larsen, Florian Lorber, Alexander Palmisano

CoRR, 2020

Shield Synthesis for Reinforcement Learning.

Bettina Könighofer, Florian Lorber, Nils Jansen, Roderick Bloem

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper).

Nils Jansen, Bettina Könighofer, Sebastian Junges, Alex Serban, Roderick Bloem

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Run-Time Optimization for Learned Controllers Through Quantitative Games.

Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Synthesis of Minimum-Cost Shields for Multi-agent Systems.

Suda Bharadwaj, Roderick Bloem, Rayna Dimitrova, Bettina Könighofer, Ufuk Topcu

Proceedings of the 2019 American Control Conference, 2019

2018

Shielded Decision-Making in MDPs.

Nils Jansen, Bettina Könighofer, Sebastian Junges, Roderick Bloem

CoRR, 2018

Safe Reinforcement Learning via Shielding.

Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Formal Verification of Masked Hardware Implementations in the Presence of Glitches.

Roderick Bloem, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard, Johannes Winter

IACR Cryptol. ePrint Arch., 2017

Shield synthesis.

Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura R. Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang

Formal Methods Syst. Des., 2017

2016

Synthesis of Admissible Shields.

Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu

Proceedings of the Hardware and Software: Verification and Testing, 2016

2015

Shield Synthesis: - Runtime Enforcement for Reactive Systems.

Roderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

Synthesizing robust systems.

Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer

Acta Informatica, 2014

Synthesis of synchronization using uninterpreted functions.

Roderick Bloem, Georg Hofferek, Bettina Könighofer, Robert Könighofer, Simon Ausserlechner, Raphael Spork

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

Synthesizing multiple boolean functions using interpolation on a single proof.

Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Synthesizing Robust Systems with RATSY

Roderick Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer

Proceedings of the Proceedings First Workshop on Synthesis, 2012