From the 1 of 3 linked papers with an AI index.
1 paper · 1 filter
Huiling Wu, Yuxin Deng, Ming Xu
Verifying the functional correctness of programs with both classical and quantum constructs is a challenging task. The presence of probabilistic behaviour entailed by quantum measu…