非确定性概率规划的尾界代价分析
王培新
Tail-Bound Cost Analysis over Nondeterministic Probabilistic Programs
WANG Peeixin(王培新)
J Shanghai Jiaotong Univ Sci . 2023, (6): 772 -782 .  DOI: 10.1007/s12204-022-2456-z