卢卡·劳伦蒂;亚历山德罗·阿巴特;Bortolussi，卢卡;卢卡·卡德利;塞斯卡，米兰;玛尔塔·奎亚特科夫斯卡 切换扩散的可达性计算，有限抽象，具有可验证和可调整的精度。 （英语） Zbl 1369.93728号 2017年4月18日至20日，美国宾夕法尼亚州匹兹堡，2017年HSCC，第20届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4590-3）。55-64 (2017).MSC公司：93E25型 60 H10型 93个B03 60J10型 PDF格式BibTeX公司 XML格式引用 \textit{L.Laurenti}等人，《第20届ACM混合系统国际会议论文集：计算与控制》，HSCC 2017，匹兹堡，宾夕法尼亚州，美国，2017年4月18-20日。纽约州纽约市：计算机协会（ACM）。55-64（2017年；Zbl 1369.93728） 全文： 内政部
卢卡·博托卢西;简·希尔斯顿 通过流体近似对单个代理行为进行模型检查。 （英语） Zbl 1317.68108号 Inf.计算。 242, 183-226 (2015).MSC公司：60年第68季度 60J27型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛L.Bortolussi｝和\textit｛J.Hillston｝，信息计算。242183-226（2015；Zbl 1317.68108） 全文： 内政部
卢卡·博托卢西;简·希尔斯顿 通过流体近似检查马尔可夫种群模型中的个体代理行为。 （英语） Zbl 1380.68269号 Bernardo，Marco（编辑）等人，动力系统的形式化方法。2013年6月17日至22日，意大利贝蒂诺罗，第13所计算机、通信和软件系统正式设计方法国际学校，SFM 2013。高级讲座。柏林：施普林格出版社（ISBN 978-3-642-38873-6/pbk）。计算机科学课堂讲稿7938，113-149（2013）。MSC公司：60年第68季度 60J20型 87年第68季度 第92天25分 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{J.Hillston}，莱克特。注释计算。科学。7938、113--149（2013年；Zbl 1380.68269） 全文： 内政部 链接
卢卡·博托卢西;简·希尔斯顿 流体模型检查。 （英语） Zbl 1364.68259号 Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，333-347（2012）。MSC公司：60年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛L.Bortolussi｝和\textit｛J.Hillston｝，Lect。注释计算。科学。7454，333--347（2012；Zbl 1364.68259） 全文： 内政部 arXiv公司