摘要：分析和量化具有符号参数、多项式运算和潜在的不可数状态空间的概率循环的高阶矩的敏感性的准确方法
作者：Marcel Moosbrugger, Julian M"ullner, Laura Kov''acs
论文ID：2305.15259
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-08-24
PDF 下载： 英文版 中文版pdf翻译中