vix.ing
·
top
·
new
·
best
·
stats
·
spec
Stefanie Muroya
Formal Verification of Continuous-Variable Quantum Programs
2026/07/20 by
Stefanie Muroya
,
Thomas A. Henzinger
#quant-ph
#cs.LO