From c4799d15d14da21da77b37d61876c62aa64319c1 Mon Sep 17 00:00:00 2001 From: Ondra Lengal Date: Sun, 18 Oct 2026 23:19:57 +0200 Subject: [PATCH] README: fix co-author name in TACAS'25 citation (K.-M. Chung) The prose citation listed K.-M. Chen, while the BibTeX entry right below it lists Chung, Kai-Min. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_013gtFQRPe1eSSpmA7EJ2KNY --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index ac2e000ea..ed29269dc 100644 --- a/README.md +++ b/README.md @@ -115,7 +115,7 @@ Please cite the following papers if you use this tool for your research. ``` * - Y.-F. Chen, K.-M. Chen, M.-H. Hsieh, W.-J. Huang, O. Lengál, J.-A. Lin, and W.-L. Tsai, “AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs,” in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2025, pp. 87–108 + Y.-F. Chen, K.-M. Chung, M.-H. Hsieh, W.-J. Huang, O. Lengál, J.-A. Lin, and W.-L. Tsai, “AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs,” in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2025, pp. 87–108 ```bibtex