马可·波扎诺;亚历山德罗·西马蒂;阿尔贝托·格里乔;马丁·乔纳什;格雷格·金伯利 通过ASP分析循环故障传播。 （英文） Zbl 07671909号 Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13416, 470-483 (2022).MSC公司：68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人，Lect。注释计算。科学。13416、470--483（2022；Zbl 07671909） 全文： 内政部
亚历山德罗·西马蒂;做，明;安德烈亚·米凯利;马可·罗维里;大卫·E·史密斯。 强有力的时间规划，持续时间不可控。 （英文） Zbl 1443.68163号 Artif公司。智力。 256, 1-34 (2018).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Artif。智力。256，1-34（2018；Zbl 1443.68163） 全文： 内政部 链接
亚历山德罗·西马蒂;卢克·亨斯伯格;安德烈亚·米凯利;罗伯托·波塞纳托;马可·罗维里 通过定时游戏自动机实现动态可控性。 （英文） Zbl 1350.68251号 学报信息。 53，第6-8号，681-722（2016）.MSC公司：68T42型 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《学报》第53期，第6--8、681--722号（2016年；Zbl 1350.68251） 全文： 内政部 链接
亚历山德罗·西马蒂;安德烈亚·米凯利;马可·罗维里 基于SMT的不确定性析取时间问题弱可控性方法。 （英文） Zbl 1343.68237号 Artif公司。智力。 224, 1-27 (2015).MSC公司：68层37 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Artif。智力。224，1--27（2015；Zbl 1343.68237） 全文： 内政部
亚历山德罗·西马蒂;安德烈亚·米凯利;马可·罗维里 使用SMT解决具有不确定性的时间问题的强可控性。 （英文） Zbl 1314.90043号 约束条件 20，第1号，1-29（2015）.MSC公司：90B36型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《约束20》，第1期，1-29页（2015；Zbl 1314.90043） 全文： 内政部