Stefan Pranger

According to our database, Stefan Pranger authored at least 7 papers between 2019 and 2024.

Collaborative distances:

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

2024

Tools at the Frontiers of Quantitative Verification.

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

CoRR, 2024

Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning.

Stefan Pranger, Hana Chockler, Martin Tappler, Bettina Könighofer

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

2023

Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report.

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

Proceedings of the TOOLympics Challenge 2023, 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

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

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