@misc{indiciae171272831031, title = {VMC: A Grammar for Visualizing Statistical Model Checks}, author = {Ziyang Guo and Alex Kale and Matthew Kay and Jessica Hullman}, year = {2024}, url = {https://arxiv.org/abs/2408.16702}, note = {Source identifier: 2408.16702} }