乔瓦尼·巴奇;贝诺·德拉哈耶;Larsen，Kim G。;安德斯·马里加德 区间马尔可夫链的定量分析。 （英语） Zbl 1522.68296号 Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 57-77 (2022).MSC公司：60年第68季度 60J20型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit｛G.Bacci｝等人，Lect。注释计算。科学。13030，57--77（2022；Zbl 1522.68296） 全文： 内政部 哈尔
乔瓦尼·巴奇;米克尔汉森;金·古德斯特兰·拉森 具有不确定性的模型检验约束马尔可夫报酬模型。 （英语） Zbl 07817510号 Parker，David（编辑）等人，《系统的定量评估》。2019年9月10日至12日在英国格拉斯哥举行的QEST 2019第16届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11785, 37-51 (2019).MSC公司：60年第68季度 60J20型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，Lect。注释计算。科学。11785，37-51（2019；Zbl 07817510） 全文： 内政部 链接
乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔 马尔可夫链总变差距离的完全公理化。 （英语） Zbl 1525.68080号 Silva，Alexandra（编辑），第33届编程语义数学基础会议论文集（MFPS XXXII），斯洛文尼亚卢布尔雅那，2017年6月12-15日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。336, 27-39 (2018).MSC公司：68问题85 03B70型 60J10型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，《电子》。注释Theor。计算。科学。336、27-39（2018年；Zbl 1525.68080） 全文： 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔 马尔可夫链上双相似距离的完整定量推导系统。 （英语） Zbl 1409.68182号 日志。方法计算。科学。 14，第4号，第15号论文，29页（2018年）.MSC公司：68问题85 03B70型 60J20型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，日志。方法计算。科学。14，第4号，第15号论文，29页（2018；Zbl 1409.68182） 全文： 内政部 arXiv公司
乔瓦尼·巴奇;乔治·巴奇;Larsen，Kim G。;拉杜·马达尔 基于度量的马尔可夫链近似最小化。 （英语） Zbl 1400.68098号 J.日志。阿尔盖布。方法计划。 100, 36-56 (2018).MSC公司：65年第68季度 60J10型 2017年第68季度 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，J.Log。阿尔盖布。方法计划。100,36-56（2018；Zbl 1400.68098） 全文： 内政部 arXiv公司 链接
乔瓦尼·巴奇;乔治·巴奇;Larsen，Kim G。;拉杜·马达尔 基于度量的马尔可夫链近似最小化。 （英语） Zbl 1442.68079号 Chatzigianakis，Ioannis（编辑）等人，第44届自动化、语言和编程国际研讨会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80，第104条，第14页（2017年）。MSC公司：65年第68季度 60J10型 2017年第68季度 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，LIPIcs——莱布尼茨国际程序。通知。80，第104条，第14页（2017年；Zbl 1442.68079） 全文： 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马代尔 实时计算双相似距离。 （英语） 兹比尔1398.68375 日志。方法计算。科学。 13，第2号，第13号论文，25页（2017年）.MSC公司：第68季度87 60J27型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，日志。方法计算。科学。13，第2号，第13号论文，25页（2017；Zbl 1398.68375） 全文： 内政部 arXiv公司
乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔 马尔可夫链上双相似距离的完全公理化。 （英语） Zbl 1392.68282号 Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–莱布尼茨国际信息学学报59，第21条，第14页（2016年）。MSC公司：68问题85 03B70型 60J10型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，LIPIcs——莱布尼茨国际程序。通知。59，第21条，第14页（2016年；Zbl 1392.68282） 全文： 内政部
乔治·巴奇;乔瓦尼·巴奇;金·古德斯特兰·拉森;拉杜·马达尔 关于半马尔可夫链的总变差距离。 （英语） Zbl 1459.68116号 Andrew Pitts（编辑），《软件科学和计算结构基础》。第18届国际会议，FOSSACS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11-18日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。9034, 185-199 (2015).MSC公司：60年第68季度 60J28型 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit｛G.Bacci｝等人，Lect。注释计算。科学。9034185-199（2015年；Zbl 1459.68116） 全文： 内政部 链接
乔治·巴奇;乔瓦尼·巴奇;金·古德斯特兰·拉森;拉杜·马达尔 任意可测量空间上马尔可夫过程的双模拟。 （英语） Zbl 1407.68327号 van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：施普林格。莱克特。注释计算。科学。8464, 76-95 (2014).MSC公司：68问题85 18B99型 60J25型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，Lect。注释计算。科学。8464，76-95（2014；Zbl 1407.68327） 全文： 内政部