劳雷·佩特鲁奇;范德波尔(Jaco van de Pol) 参数区间马尔可夫链的参数综合算法。 (英语) Zbl 1508.68256号 Baier,Christel(编辑)等人,分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议,FORTE 2018,作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10854, 121-140 (2018).MSC公司:第68季度87 60J10型 PDF格式BibTeX公司 XML格式引用 \textit{L.Petrucci}和\textit{J.van de Pol},莱克特。注释计算。科学。10854、121--140(2018年;Zbl 1508.68256) 全文: 内政部
卢卡·博托卢西;西蒙·西尔维蒂 随机模型线性时间特性的贝叶斯统计参数综合。 (英语) Zbl 1423.68322号 Beyer,Dirk(编辑)等人,《系统构建和分析的工具和算法》。2018年4月14日至20日在希腊塞萨洛尼基举行的第24届国际会议(TACAS 2018),是欧洲软件理论与实践联合会议(ETAPS 2018)的一部分。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。10806, 396-413 (2018).MSC公司:第68季度87 60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{S.Silvetti},莱克特。注释计算。科学。10806396--413(2018;Zbl 1423.68322) 全文: 内政部
亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡 基于随机博弈抽象的概率时间自动机参数综合。 (英语) 兹比尔1393.68096 西奥。计算。科学。 735,64-81(2018).MSC公司:65年第68季度 60年第68季度 第68季度87 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}和\textit{M.Kwiatkowska},Theor。计算。科学。735,64-81(2018;Zbl 1393.68096) 全文: 内政部
Chatzieleftheriou,G。;卡萨罗斯,P。 概率系统的抽象模型修复。 (英语) Zbl 1388.68185号 Inf.计算。 259,第1部分,142-160(2018).MSC公司:60年第68季度 03B44号 60J20型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{G.Chatzieleftheriou}和\textit{P.Katsaros},Inf.Compute。259,第1部分,142--160(2018;Zbl 1388.68185) 全文: 内政部