Synthesizing Robust Systems with RATSY - Roderick Bloem; Hans-Jürgen Gamauf; Georg Hofferek; Bettina Könighofer; Robert Könighofer (SYNT, 2012)

Synthesizing multiple boolean functions using interpolation on a single proof. - Georg Hofferek; Ashutosh Gupta; Bettina Könighofer; Jie-Hong Roland Jiang; Roderick Bloem (FMCAD, 2013)

Synthesis of synchronization using uninterpreted functions. - Roderick Bloem; Georg Hofferek; Bettina Könighofer; Robert Könighofer; Simon Ausserlechner; Raphael Spork (FMCAD, 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)

Shield Synthesis: - Runtime Enforcement for Reactive Systems. - Roderick Bloem; Bettina Könighofer; Robert Könighofer; Chao Wang 001 (TACAS, 2015)

Synthesis of Admissible Shields. - Laura R. Humphrey; Bettina Könighofer; Robert Könighofer; Ufuk Topcu (Haifa Verification Conference, 2016)

Shield synthesis. - Bettina Könighofer; Mohammed Alshiekh; Roderick Bloem; Laura R. Humphrey; Robert Könighofer; Ufuk Topcu; Chao Wang 001 (Formal Methods Syst. Des., 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)

Safe Reinforcement Learning via Shielding. - Mohammed Alshiekh; Roderick Bloem; Rüdiger Ehlers; Bettina Könighofer; Scott Niekum; Ufuk Topcu (AAAI, 2018)

Shielded Decision-Making in MDPs. - Nils Jansen 001; Bettina Könighofer; Sebastian Junges; Roderick Bloem (CoRR, 2018)

Synthesis of Minimum-Cost Shields for Multi-agent Systems. - Suda Bharadwaj; Roderick Bloem; Rayna Dimitrova; Bettina Könighofer; Ufuk Topcu (ACC, 2019)

Run-Time Optimization for Learned Controllers Through Quantitative Games. - Guy Avni; Roderick Bloem; Krishnendu Chatterjee; Thomas A. Henzinger; Bettina Könighofer; Stefan Pranger (CAV (1), 2019)

Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). - Nils Jansen 001; Bettina Könighofer; Sebastian Junges; Alex Serban; Roderick Bloem (CONCUR, 2020)

Shield Synthesis for Reinforcement Learning. - Bettina Könighofer; Florian Lorber; Nils Jansen 001; Roderick Bloem (ISoLA (1), 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)

Adaptive Shielding under Uncertainty. - Stefan Pranger; Bettina Könighofer; Martin Tappler; Martin Deixelberger; Nils Jansen 001; Roderick Bloem (ACC, 2021)

TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. - Stefan Pranger; Bettina Könighofer; Lukas Posch; Roderick Bloem (ATVA, 2021)

Online Shielding for Stochastic Systems. - Bettina Könighofer; Julian Rudolf; Alexander Palmisano; Martin Tappler; Roderick Bloem (NFM, 2021)

Correct-by-Construction Runtime Enforcement in AI - A Survey. - Bettina Könighofer; Roderick Bloem; Rüdiger Ehlers; Christian Pek (Principles of Systems Design, 2022)

Search-Based Testing of Reinforcement Learning. - Martin Tappler; Filip Cano Córdoba; Bernhard K. Aichernig; Bettina Könighofer (IJCAI, 2022)

Automata Learning Meets Shielding. - Martin Tappler; Stefan Pranger; Bettina Könighofer; Edi Muskardin; Roderick Bloem; Kim G. Larsen (ISoLA (1), 2022)

Safety Shielding under Delayed Observation. - Filip Cano Córdoba; Alexander Palmisano; Martin Fränzle; Roderick Bloem; Bettina Könighofer (ICAPS, 2023)

Formal Methods for Trused AI. - Bettina Könighofer (FMCAD, 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 (IJCAI, 2023)

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. - Benedikt Maderbacher; Stefan Schupp; Ezio Bartocci; Roderick Bloem; Dejan Nickovic; Bettina Könighofer (SPIN, 2023)

Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (TOOLympics@ETAPS, 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 001; Antoine Delacourt; Hasan Esen; Alexandru Forrai; Weicheng He; et al. (AISoLA, 2023)

Formal XAI via Syntax-Guided Synthesis. - Katrine Bjørner; Samuel Judson; Filip Cano 001; Drew Goldman; Nicholas Shoemaker; Ruzica Piskac; Bettina Könighofer (AISoLA, 2023)

Welcome Remarks from AISoLA 2023/Track C2 Chairs. - Nils Jansen 001; Bettina Könighofer; Jan Kretínský; Kim G. Larsen (AISoLA, 2023)

Learning Environment Models with Continuous Stochastic Dynamics. - Martin Tappler; Edi Muskardin; Bernhard K. Aichernig; Bettina Könighofer (CoRR, 2023)

Accountable Software Systems (Dagstuhl Seminar 23411). - Bettina Könighofer; Joshua A. Kroll; Ruzica Piskac; Michael Veale; Filip Cano Córdoba (Dagstuhl Reports, 2023)

Online shielding for reinforcement learning. - Bettina Könighofer; Julian Rudolf; Alexander Palmisano; Martin Tappler; Roderick Bloem (Innov. Syst. Softw. Eng., 2023)

soid: A Tool for Legal Accountability for Automated Decision Making. - Samuel Judson; Matthew Elacqua; Filip Cano 001; Timos Antonopoulos; Bettina Könighofer; Scott J. Shapiro; Ruzica Piskac (CAV (2), 2024)

'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions. - Samuel Judson; Matthew Elacqua; Filip Cano 001; Timos Antonopoulos; Bettina Könighofer; Scott J. Shapiro; Ruzica Piskac (CSLAW, 2024)

Abstraction-Based Decision Making for Statistical Properties (Invited Talk). - Filip Cano 001; Thomas A. Henzinger; Bettina Könighofer; Konstantin Kueffner; Kaushik Mallik (FSCD, 2024)

Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data. - Martin Tappler; Andrea Pferscher; Bernhard K. Aichernig; Bettina Könighofer (ICSE, 2024)

Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing. - Martin Tappler; Edi Muskardin; Bernhard K. Aichernig; Bettina Könighofer (ICST, 2024)

Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning. - Stefan Pranger; Hana Chockler; Martin Tappler; Bettina Könighofer (NeurIPS, 2024)

Tools at the Frontiers of Quantitative Verification. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (CoRR, 2024)

Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071). - Jyotirmoy Deshmukh; Bettina Könighofer; Dejan Nickovic; Filip Cano 001 (Dagstuhl Reports, 2024)

Fairness Shields: Safeguarding against Biased Decision Makers. - Filip Cano 001; Thomas A. Henzinger; Bettina Könighofer; Konstantin Kueffner; Kaushik Mallik (AAAI, 2025)