弗朗西斯科·贝拉迪内利；斯特凡·德姆里 有限资源的战略推理：对可驾驭性的追求。 （英语） Zbl 1520.68183号 Artif公司。智力。 300，文章ID 103557，35 p.（2021）.MSC公司：68T27型 03B44号 65年第68季度 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}和\textit{S.Demri}，Artif。智力。300，文章ID 103557，35 p.（2021；Zbl 1520.68183） 全文： DOI程序 哈尔
朱利安·古铁雷斯；朱塞佩·佩雷利；迈克尔·伍尔德里奇 有限轨迹上LDL目标的多人游戏。 （英语） Zbl 1497.68305号 Inf.计算。 276，文章ID 104555，17 p.（2021）.MSC公司：60年第68季度 03B70号 65年第68季度 68问题85 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人，《信息计算》。276，文章ID 104555，17 p.（2021；Zbl 1497.68305） 全文： DOI程序 arXiv公司
弗朗西斯科·贝拉迪内利；阿莱西奥·洛穆西奥；阿尼埃洛·穆拉诺；萨沙·鲁宾 针对策略逻辑，验证具有公共操作的多代理系统。 （英语） Zbl 1451.68290号 Artif公司。智力。 285，文章ID 103302，28 p.（2020）.MSC公司：68T42型 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人，Artif。智力。285，文章ID 103302，28 p.（2020；Zbl 1451.68290） 全文： DOI程序 链接
谢高燕；当、哲 并发黑盒测试系统——一种自动机理论和分解方法。 （英语） 兹比尔1183.68184 Grieskamp，Wolfgang（编辑）等人，《软件测试的形式化方法》。2005年7月11日，英国爱丁堡，第五届国际研讨会，命运2005。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-34454-3/pbk）。计算机科学课堂讲稿3997170-186（2006）。MSC公司：68号30 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Xie}和\textit{Z.Dang}，Lect。注释计算。科学。3997、170--186（2006年；Zbl 1183.68184） 全文： DOI程序
娜塔莉亚·尤斯蒂诺娃；纳塔利亚·西多罗娃；马丁·斯特芬 模型检查定时系统的同步关闭和流量分析。 （英语） Zbl 1104.68415号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第二届国际研讨会，2003年FMCO，荷兰莱顿，2003年11月4-7日。修订的讲座。柏林：施普林格出版社（ISBN 3-540-22942-6/pbk）。计算机科学课堂讲稿3188292-313（2004）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.Ioustinova}等人，Lect。注释计算。科学。3188292--313（2004年；Zbl 1104.68415） 全文： DOI程序