Stefan Pranger

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 8

Top Topics

Adaptive Algorithms

Weighted Majority

Reactive Systems

Top Venues

Publications

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
Tools at the Frontiers of Quantitative Verification. CoRR (2024)
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
Automata Learning Meets Shielding. ISoLA (1) (2022)
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
Automata Learning meets Shielding. CoRR (2022)
Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. CoRR (2021)
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
Adaptive Shielding under Uncertainty. ACC (2021)
Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. ATVA (2021)
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
Adaptive Shielding under Uncertainty. CoRR (2020)
Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger
Run-Time Optimization for Learned Controllers Through Quantitative Games. CAV (1) (2019)