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)

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)

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

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)

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)