×

找到14个文档（结果1-14）

最新的 引文 关联
亚历山德罗·西马蒂；卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；斯特凡诺·托内塔

安全和协同安全语言的一阶逻辑特征。 （英语） Zbl 07731941号

日志。方法计算。科学。 19，第3号，第13号论文，29页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，《日志》。方法计算。科学。19，第3号，第13号论文，29页（2023；Zbl 07731941）
全文： DOI程序 arXiv公司
雷纳托·阿坎波拉；卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；瓦伦蒂诺·皮科蒂

基于时间线的游戏的控制器合成。 （英语） 兹比尔1530.68238

Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370、131-146（2022）。
MSC公司：68T20型 60年第68季度 91A99型
PDF格式BibTeX公司 XML格式引用
\textit{R.Acampora}等人，《电子》。程序。西奥。计算。科学。（EPTCS）370、131--146（2022年；Zbl 1530.68238）
全文： arXiv公司 链接
亚历山德罗·西马蒂；卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；斯特凡诺·托内塔

安全和协同安全语言的一阶逻辑特征。 （英语） Zbl 07793032号

Bouyer，Patricia（编辑）等人，《软件科学和计算结构基础》。2022年4月2日至7日，第25届国际会议，FOSSACS 2022，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2022，德国慕尼黑。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13242, 244-263 (2022).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。注释计算。科学。13242、244--263（2022；Zbl 07793032）
全文： DOI程序
卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；加布里埃尔·文图拉托

过去事项：在黑色可满足性检查器中支持LTL+Past。 （英语） Zbl 07744951号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第8条，第17页（2021年）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{L.Geatti}等人，LIPIcs——莱布尼茨国际程序。通知。206，第8条，第17页（2021；Zbl 07744951）
全文： DOI程序
亚历山德罗·西马蒂；卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；斯特凡诺·托内塔

扩展有界响应的公平性、假设和保证长期贷款+P合成。 （英语） Zbl 1522.68302号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 351-371 (2021).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。注释计算。科学。13085、351--371（2021；Zbl 1522.68302）
全文： DOI程序
黛拉·莫妮卡，达里奥；尼古拉·吉甘特；萨尔瓦多拉托雷；安吉洛·蒙塔纳里

基于时间线的定性规划的复杂性。 （英语） Zbl 07760486号

穆尼奥斯·韦拉斯科，埃米利奥（编辑）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。178，第16条，第13页（2020年）。
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{D.Della Monica}等人，LIPIcs——莱布尼茨国际程序。通知。178，第16条，第13页（2020；Zbl 07760486）
全文： DOI程序
卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里

基于SAT的LTL单程树形表系统编码。 （英语） Zbl 1435.68368号

Cerrito，Serenella（编辑）等人，《使用分析表和相关方法的自动推理》。第28届国际会议，2019年9月3日至5日，英国伦敦，TABLEAUX 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11714, 3-20 (2019).
MSC公司：68伏15 03B44号 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{L.Geatti}等人，Lect。注释计算。科学。11714，3--20（2019；Zbl 1435.68368）
全文： DOI程序 链接
尼古拉·吉甘特；安吉洛·蒙塔纳里；梅耶·玛尔塔·恰尔迪亚；安德烈亚·奥兰迪尼；马克·雷诺兹

一种游戏理论方法，用于基于时间的不确定性规划。 （英语） Zbl 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）
全文： DOI程序 arXiv公司
卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；雷诺兹，马克

用于（mathrm{TPTL}）和（mathrm）的单程和树形表格系统{TPTL}_b+\mathrm{过去}\）。 （英语） 兹比尔1524.03015

Orlandini，Andrea（编辑）等人，第九届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2018，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）277176-190（2018）。
MSC公司：03B44号 03B70号 03财年03
PDF格式BibTeX公司 XML格式引用
\textit{L.Geatti}等人，《电子》。程序。西奥。计算。科学。（EPTCS）277176--190（2018；Zbl 1524.03015）
全文： arXiv公司 链接
尼古拉·吉甘特；安吉洛·蒙塔纳里；马克·雷诺兹

LTL+过去的单程树形画面。 （英语） Zbl 1402.03026号

Eiter，Thomas（编辑）等人，LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特：EasyChair。EPiC计算系列46，456-473（2017）。
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{N.Gigante}等人，EPiC Ser。计算。46、456--473（2017；Zbl 1402.03026）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件