尼古拉·吉甘特;安德烈亚·米凯利;安吉洛·蒙塔纳里;恩里科·斯卡拉 密集时间内基于行动的时间规划的可决定性和复杂性。 （英文） Zbl 07505989号 Artif公司。智力。 307，文章ID 103686，20 p.（2022）.MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{N.Gigante}等人，Artif。智力。307，文章ID 103686，20 p.（2022；Zbl 07505989） 全文： 内政部
亚历山德罗·阿巴特;亚历山德罗·西马蒂;安德烈亚·米凯利;穆罕默德·赛义法·穆菲德 通过SMT求解计算最大值线性系统的瞬态。 （英文） Zbl 07317096号 Bertrand，Nathalie（编辑）等，时间系统的形式化建模和分析。第18届国际会议，FORMATS 2020，奥地利维也纳，2020年9月1日至3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12288, 161-177 (2020).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit｛A.Abate｝等人，Lect。注释计算。科学。12288、161--177（2020；Zbl 07317096） 全文： 内政部 arXiv公司 链接
亚历山德罗·西马蒂;做，明;安德烈亚·米凯利;马可·罗维里;大卫·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） 全文： 内政部