第十三届中国数学会计算机数学大会

2023年 6月15日 ~ 18日

P000067

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-Time Markov Chains  

*慧 蒋 (华东师范大学)
剑铃 傅 (华东师范大学)
鸣 徐 (华东师范大学)



Supported by SmartChair

Math formula preview: