@misc{indiciaefc7d61570ee9, title = {Using quantum annealing to generate test cases for cyber-physical systems}, author = {Hugo Araujo and Xinyi Wang and Mohammad Mousavi and Shaukat Ali}, year = {2025}, url = {https://arxiv.org/abs/2504.21684}, note = {Source identifier: 2504.21684} }