TY  - RPRT
TI  - Tailored Quantum Device Calibration with Statistical Model Checking
AU  - Filip Mazurek
AU  - Marissa D'Onofrio
AU  - Andrew Van Horn
AU  - Jiyong Yu
AU  - Kavyashree Ranawat
AU  - Jungsang Kim
AU  - Kenneth R. Brown
PY  - 2025
UR  - https://arxiv.org/abs/2507.12323
ID  - 2507.12323
ER  -