|
|
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments
Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem.
ATVA 2021.
|
|
|
|
Adaptive Shielding under Uncertainty
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem.
ACC 2021.
|
|
|
|
Run-time optimization for learned controllers through quantitative games
Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger.
CAV 2019.
|
|