Bettina Knighofer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
13
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Fairness Shields: Safeguarding against Biased Decision Makers. | Filip Cano, Thomas A. Henzinger, Bettina Knighofer, Konstantin Kueffner, Kaushik Mallik |
| 2024 | CAV | soid: A Tool for Legal Accountability for Automated Decision Making. | Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Knighofer, Scott J. Shapiro, Ruzica Piskac |
| 2024 | FSCD | Abstraction-Based Decision Making for Statistical Properties (Invited Talk). | Filip Cano, Thomas A. Henzinger, Bettina Knighofer, Konstantin Kueffner, Kaushik Mallik |
| 2024 | ICSE | Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data. | Martin Tappler, Andrea Pferscher, Bernhard K. Aichernig, Bettina Knighofer |
| 2024 | ICST | Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing. | Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Bettina Knighofer |
| 2023 | FMCAD | Formal Methods for Trused AI. | Bettina Knighofer |
| 2023 | IJCAI | Analyzing Intentional Behavior in Autonomous Agents under Uncertainty. | Filip Cano Crdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjrner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Knighofer |
| 2023 | VECoS | 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 Knighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu |
| 2023 | VECoS | Formal XAI via Syntax-Guided Synthesis. | Katrine Bjrner, Samuel Judson, Filip Cano, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Knighofer |
| 2023 | VECoS | Welcome Remarks from AISoLA 2023/Track C2 Chairs. | Nils Jansen, Bettina Knighofer, Jan Kretnsk, Kim G. Larsen |
| 2022 | IJCAI | Search-Based Testing of Reinforcement Learning. | Martin Tappler, Filip Cano Crdoba, Bernhard K. Aichernig, Bettina Knighofer |
| 2022 | ISoLA | Automata Learning Meets Shielding. | Martin Tappler, Stefan Pranger, Bettina Knighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen |
| 2021 | ATVA | TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. | Stefan Pranger, Bettina Knighofer, Lukas Posch, Roderick Bloem |
| 2020 | CONCUR | Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). | Nils Jansen, Bettina Knighofer, Sebastian Junges, Alex Serban, Roderick Bloem |
| 2020 | ISoLA | Shield Synthesis for Reinforcement Learning. | Bettina Knighofer, Florian Lorber, Nils Jansen, Roderick Bloem |
| 2019 | CAV | Run-Time Optimization for Learned Controllers Through Quantitative Games. | Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Knighofer, Stefan Pranger |
| 2018 | AAAI | Safe Reinforcement Learning via Shielding. | Mohammed Alshiekh, Roderick Bloem, Rdiger Ehlers, Bettina Knighofer, Scott Niekum, Ufuk Topcu |
| 2018 | EuroCrypt | Formal Verification of Masked Hardware Implementations in the Presence of Glitches. | Roderick Bloem, Hannes Gro, Rinat Iusupov, Bettina Knighofer, Stefan Mangard, Johannes Winter |
| 2015 | TACAS | Shield Synthesis: - Runtime Enforcement for Reactive Systems. | Roderick Bloem, Bettina Knighofer, Robert Knighofer, Chao Wang |
| 2014 | FMCAD | Synthesis of synchronization using uninterpreted functions. | Roderick Bloem, Georg Hofferek, Bettina Knighofer, Robert Knighofer, Simon Ausserlechner, Raphael Spork |
| 2013 | FMCAD | Synthesizing multiple boolean functions using interpolation on a single proof. | Georg Hofferek, Ashutosh Gupta, Bettina Knighofer, Jie-Hong Roland Jiang, Roderick Bloem |