@article{2024-evm,
 title = {EVM: Incorporating Model Checking into Exploratory Visual Analysis},
 author = {Alex Kale AND Ziyang Guo AND Xiaoli Qiao AND Jeffrey Heer AND Jessica Hullman},
 journal = {IEEE Trans. Visualization \& Comp. Graphics (Proc. VIS)},
 year = {2024},
 url = {http://idl.cs.washington.edu/papers/evm},
}