Stefan Pranger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2019–2022
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ISoLA | Automata Learning Meets Shielding. | Martin Tappler, Stefan Pranger, Bettina Knighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen |
| 2021 | ATVA | TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. | Stefan Pranger, Bettina Knighofer, Lukas Posch, Roderick Bloem |
| 2019 | CAV | Run-Time Optimization for Learned Controllers Through Quantitative Games. | Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Knighofer, Stefan Pranger |