卢卡·博托卢西;米利奥斯、迪米特里奥斯;吉多·桑吉内蒂 不确定连续时间马尔可夫链的平滑模型检验。 (英语) Zbl 1336.68162号 Inf.计算。 247, 235-253 (2016).MSC公司:60年第68季度 60G15年 60年28日 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}等人,《Inf.Compute》。247235-253(2016;Zbl 1336.68162) 全文: 内政部 arXiv公司
卢卡·博托卢西;简·希尔斯顿 通过流体近似对单个代理行为进行模型检查。 (英语) Zbl 1317.68108号 Inf.计算。 242, 183-226 (2015).MSC公司:60年第68季度 60J27型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{J.Hillston},Inf.Compute。242183-226(2015;Zbl 1317.68108) 全文: 内政部
马尔科·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 用于建模非确定性、概率性、随机性或混合过程及其行为等效性的统一框架。 (英语) Zbl 1358.68210号 Inf.计算。 225, 29-82 (2013).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人,《信息计算》。225,29-82(2013;Zbl 1358.68210) 全文: 内政部
克里斯特尔·拜尔;Joost-Pieter卡托恩;霍尔格·赫尔曼斯;维雷娜·沃尔夫 马尔可夫链的比较分支时间语义。 (英语) Zbl 1101.68053号 Inf.计算。 200,第2期,149-214(2005).MSC公司:68问题55 2010年第68季度 60年第68季度 60J10型 60J27型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《信息计算》。200,第2号,149--214(2005;Zbl 1101.68053) 全文: 内政部 链接