@misc{indiciaefa83a5b07e59,
  title = {Tailored Quantum Device Calibration with Statistical Model Checking},
  author = {Filip Mazurek and Marissa D'Onofrio and Andrew Van Horn and Jiyong Yu and Kavyashree Ranawat and Jungsang Kim and Kenneth R. Brown},
  year = {2025},
  url = {https://arxiv.org/abs/2507.12323},
  note = {Source identifier: 2507.12323}
}