雷纳托·阿坎波拉;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;瓦伦蒂诺·皮科蒂 基于时间线的游戏的控制器合成。 (英语) Zbl 1530.68238号 Ganty,Pierre(编辑)等人,第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2022,西班牙马德里,2022年9月21日至23日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)370、131-146(2022)。MSC公司:68T20型 第68季度第60季度 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Acampora}等人,《电子》。程序。西奥。计算。科学。(EPTCS)370、131--146(2022年;Zbl 1530.68238) 全文: arXiv公司 链接
尼古拉·吉甘特;安吉洛·蒙塔纳里;安德烈亚·奥兰迪尼;玛尔塔·恰尔迪亚·梅耶;马克·雷诺兹 关于基于时间的游戏及其复杂性。 (英语) Zbl 1433.68409号 西奥。计算。科学。 815, 247-269 (2020).MSC公司:68T20型 91A25型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{N.Gigante}等人,Theor。计算。科学。815247-269(2020年;Zbl 1433.68409) 全文: 内政部 链接
尼古拉·吉甘特;安吉洛·蒙塔纳里;梅耶·玛尔塔·恰尔迪亚;安德烈亚·奥兰迪尼;马克·雷诺兹 一种游戏理论方法,用于基于时间的不确定性规划。 (英语) 兹比尔1487.68213 Alechina,Natasha(编辑)等人,第25届时间表征和推理国际研讨会。《时代》2018,波兰华沙,2018年10月15日至17日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120,第13条,第17页(2018年)。MSC公司:68T20型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{N.Gigante}等人,LIPIcs——莱布尼茨国际程序。通知。120,第13条,第17页(2018;Zbl 1487.68213) 全文: 内政部 arXiv公司
安吉洛·蒙塔纳里(编辑);加布里埃尔,小狗(编辑);蒂齐亚诺别墅(编辑) 游戏、自动机、逻辑和形式验证(GandALF 2013)。 (英语) Zbl 1329.00223号 Inf.计算。 245, 1-2 (2015).MSC公司:00B25型 68-06 91-06 65年第68季度 第68季度第60季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}(编辑)等人,Inf.Comput。245,1--2(2015;Zbl 1329.00223) 全文: 内政部
安吉洛·蒙塔纳里(编辑);马格丽塔·那不勒斯(编辑);帕伦特,米姆(编辑) 特刊:游戏、自动化、逻辑和形式验证(GandALF 2010)。根据2010年6月17日至18日在意大利米诺里举行的第一届研讨会上的陈述,选出了一些论文。 (英语) Zbl 1250.68042号 发现的国际期刊。计算。科学。23,第3期,555-711(2012)。 MSC公司:68-06 91-06 03-06 00B25型 第68季度第60季度 65年第68季度 91A05型 91A43型 91A24型 91A15型 03B80号 03B44号 03B45号 05年3月 PDF格式BibTeX公司 XML格式
安吉洛·蒙塔纳里;阿尔贝托,Policriti;尼古拉·维塔科隆纳 Ehrenfeucht游戏在标记后继结构上的算法说明。 (英语) Zbl 1143.03353号 Sutcliffe,Geoff(编辑)等人,《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30553-8/pbk)。计算机科学课堂讲稿3835139-153(2005)。MSC公司:03C13号机组 05年3月 91A05型 91年46月 91A80型 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人,Lect。注释计算。科学。3835、139--153(2005年;Zbl 1143.03353) 全文: 内政部