@misc{indiciae011fe4925997,
  title = {EVM: Incorporating Model Checking into Exploratory Visual Analysis},
  author = {Alex Kale and Ziyang Guo and Xiao Li Qiao and Jeffrey Heer and Jessica Hullman},
  year = {2023},
  url = {https://arxiv.org/abs/2308.13024},
  note = {Source identifier: 2308.13024}
}