杰里米·斯普洛斯顿 有限互模拟概率混合自动机的验证与控制。 (英语) 兹比尔1417.68105 J.日志。阿尔盖布。方法计划。 103, 46-61 (2019).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿},J.Log。阿尔盖布。方法程序。103、46-61(2019年;Zbl 1417.68105) 全文: 内政部 链接
露西娅·纳斯蒂;保罗·米拉佐 社交网络成瘾的混合自动机模型。 (英语) Zbl 1418.91431号 J.日志。阿尔盖布。方法计划。 100, 215-229 (2018).MSC公司:91天30分 65年第68季度 05C90年 92比99 91A90型 PDF格式BibTeX公司 XML格式引用 \textit{L.Nasti}和\textit{P.Milazzo},J.Log。阿尔盖布。方法程序。100215--229(2018;Zbl 1418.91431) 全文: 内政部