TY  - RPRT
TI  - Probabilistic Model Checking and Autonomy
AU  - Marta Kwiatkowska
AU  - Gethin Norman
AU  - David Parker
PY  - 2021
UR  - https://arxiv.org/abs/2111.10630
ID  - 2111.10630
ER  -