TY  - RPRT
TI  - The SCAN Statistical Model Checker
AU  - Enrico Ghiorzi
AU  - Armando Tacchella
PY  - 2026
UR  - https://arxiv.org/abs/2603.28794
ID  - 2603.28794
ER  -