TY  - RPRT
TI  - Automatic Verification of Concurrent Stochastic Systems
AU  - Marta Kwiatkowska
AU  - Gethin Norman
AU  - David Parker
AU  - Gabriel Santos
PY  - 2020
UR  - https://arxiv.org/abs/2008.04613
ID  - 2008.04613
ER  -