TY  - RPRT
TI  - Online Shielding for Stochastic Systems
AU  - Bettina Könighofer
AU  - Julian Rudolf
AU  - Alexander Palmisano
AU  - Martin Tappler
AU  - Roderick Bloem
PY  - 2020
UR  - https://arxiv.org/abs/2012.09539
ID  - 2012.09539
ER  -