Stefan Pranger

According to our database, Stefan Pranger authored at least 4 papers between 2019 and 2022.

Collaborative distances:

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

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