TY  - RPRT
TI  - PRESTO: Predicting System-level Disruptions through Parametric Model Checking
AU  - Xinwei Fang
AU  - Radu Calinescu
AU  - Colin Paterson
AU  - Julie Wilson
PY  - 2022
UR  - https://arxiv.org/abs/2205.03628
ID  - 2205.03628
ER  -