TY  - RPRT
TI  - EVM: Incorporating Model Checking into Exploratory Visual Analysis
AU  - Alex Kale
AU  - Ziyang Guo
AU  - Xiao Li Qiao
AU  - Jeffrey Heer
AU  - Jessica Hullman
PY  - 2023
UR  - https://arxiv.org/abs/2308.13024
ID  - 2308.13024
ER  -