TY  - RPRT
TI  - VMC: A Grammar for Visualizing Statistical Model Checks
AU  - Ziyang Guo
AU  - Alex Kale
AU  - Matthew Kay
AU  - Jessica Hullman
PY  - 2024
UR  - https://arxiv.org/abs/2408.16702
ID  - 2408.16702
ER  -