×

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

最新的 引文 关联
劳拉·博泽利;阿德里亚诺·佩隆

无限字上的参数区间时序逻辑。 （英语） Zbl 1530.68155号

Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）37097-113（2022）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}和\textit{A.Peron}，电子。程序。西奥。计算。科学。（EPTCS）370、97--113（2022年；Zbl 1530.68155）
全文： arXiv公司 链接
詹姆斯·C·A·梅因（James C.A.Main）。;Randour，Mickael米凯尔;杰里米·斯普洛斯顿

有界窗口奇偶目标的定时游戏。 （英语） Zbl 07643434号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。2022年9月13日至15日，第20届国际会议，FORMATS 2022，波兰华沙。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 165-182 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.C.A.Main}等人，Lect。注释计算。科学。13465，165--182（2022；Zbl 07643434）
全文： 内政部 arXiv公司
伯恩德·芬克贝纳

超属性的模型检查算法（特邀论文）。 （英语） Zbl 1472.68088号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 3-16 (2021).
MSC公司：60年第68季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{B.Finkbeiner}，莱克特。注释计算。科学。12597，3-16（2021；Zbl 1472.68088）
全文： 内政部 arXiv公司
穆拉诺，阿尼洛;萨沙·鲁宾;马丁·齐默尔曼

加权极限对策中的最优策略。 （英语） Zbl 07455744号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326114-130（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{A.Murano}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326114-130（2020；Zbl 07455744）
全文： arXiv公司 链接
大卫·巴罗齐尼;戴维·德·弗鲁托斯·埃斯克里格;黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉

Beyond（ω）-正则语言：（ωT）-正则表达式及其自动机和逻辑对应项。 （英语） Zbl 1433.68192号

西奥。计算。科学。 813270-304（2020）.
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{D.Barozzini}等人，Theor。计算。科学。813、270--304（2020；Zbl 1433.68192）
全文： 内政部
丹尼尔·奈德;亚历山大·韦内特;马丁·齐默尔曼

健壮、富有表现力和定量的线性时序逻辑：免费选择任意两种。 （英语） 兹比尔1487.68159

Leroux，Jéróme（ed.）等人，第十届游戏、自动机、逻辑和形式验证国际研讨会论文集，2019年9月2日至3日，法国波尔多，GandALF 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）305，1-16（2019）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{D.Neider}等人，《电子》。程序。西奥。计算。科学。（EPTCS）305，1-16（2019年；兹bl 1487.68159）
全文： arXiv公司 链接
纳塔娜·菲亚尔科夫;巴斯蒂安·莫伯特;穆拉诺，阿尼洛;萨沙·鲁宾

量化战略逻辑中的界限。 （英语） Zbl 1528.68218号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。119，第23条，第23页（2018年）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Fijalkow}等人，LIPIcs——莱布尼茨国际程序。通知。119，第23条，23 p.（2018；Zbl 1528.68218）
全文： 内政部
亚历山大·韦内特

数量减少和顶点排名无限游戏。 （英语） Zbl 1524.91021号

Orlandini，Andrea（ed.）等人，《第九届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2018，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）2771-15（2018）。
MSC公司：91A70型 91A68型 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Weinert}，电子。程序。西奥。计算。科学。（EPTCS）277，1--15（2018；Zbl 1524.91021）
全文： arXiv公司 链接
黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉

Beyond\（\omega BS\）-正则语言：\（\omega T\）-规则表达式和反勾自动机。 （英语） Zbl 1483.68160号

Patricia Bouyer等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256223-237（2017）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Della Monica}等人，电子。程序。西奥。计算。科学。（EPTCS）256223--237（2017；Zbl 1483.68160）
全文： arXiv公司 链接
Leander Tentrup公司;亚历山大·韦内特;马丁·齐默尔曼

在双指数时间内，逼近即时-LTL可实现性的最佳界。 （英语） Zbl 1478.68179号

Cantone，Domenico（ed.）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）226302-315（2016）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Tentrup}等人，《电子》。程序。西奥。计算。科学。（EPTCS）226302-315（2016；Zbl 1478.68179）
全文： arXiv公司 链接
瑞典雅各布斯;Leander Tentrup公司;马丁·齐默尔曼

分布式PROMPT-LTL合成。 （英语） Zbl 1478.68163号

Cantone，Domenico（ed.）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）226228-241（2016）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{S.Jacobs}等人，《电子》。程序。西奥。计算。科学。（EPTCS）226228--241（2016；Zbl 1478.68163）
全文： arXiv公司 链接
方丹，盖勒;法比奥·莫加维罗;穆拉诺，阿尼洛;朱塞佩·佩雷利;洛雷达纳·索伦蒂诺

计算树逻辑中的循环检测。 （英语） Zbl 1478.68158号

Cantone，Domenico（ed.）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）226164-177（2016）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{G.Fontaine}等人，《电子》。程序。西奥。计算。科学。（EPTCS）226164--177（2016；Zbl 1478.68158）
全文： 链接
维罗尼克·布鲁埃;昆廷豪特;Randour，Mickael米凯尔

窗口奇偶游戏：有时间限制的奇偶游戏的替代方法。 （英语） Zbl 1478.91036号

Cantone，Domenico（ed.）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）226135-148（2016）。
MSC公司：91A43型 91A10号 91A05型
PDF格式BibTeX公司 XML格式引用
\textit{V.Bruyère}等人，《电子》。程序。西奥。计算。科学。（EPTCS）226135-148（2016；Zbl 1478.91036）
全文： arXiv公司 链接
黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;穆拉诺，阿尼洛;皮埃特罗·萨拉

提示间隔时间逻辑。 （英语） Zbl 1483.03015号

Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，2016年JELIA，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 207-222 (2016).
MSC公司：03B44号 03B25号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Della Monica}等人，莱克特。注释计算。科学。10021、207--222（2016；Zbl 1483.03015）
全文： 内政部 链接
马丁·齐默尔曼

参数化线性时序逻辑满足成本：仍然不比LTL更昂贵。 （英语） Zbl 1476.03020号

Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193、144-157（2015）。
MSC公司：03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Zimmermann}，电子。程序。西奥。计算。科学。（EPTCS）193，144--157（2015；Zbl 1476.03020）
全文： arXiv公司 链接
马丁·齐默尔曼

在WMSO+U获胜条件下延迟游戏。 （英语） 兹比尔1356.68137

Beklemishev，D.（编辑）等人，《计算机科学——理论与应用》。2015年7月13日至17日，第十届俄罗斯国际计算机科学研讨会，CSR 2015，俄罗斯Listvyanka。诉讼程序。查姆：施普林格（ISBN 978-3-319-20296-9/pbk；978-3-3169-20297-6/电子书）。计算机科学讲义9139，412-425（2015）。
MSC公司：65年第68季度 05年3月 91A05型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Zimmermann}，莱克特。注释计算。科学。9139412--425（2015年；Zbl 1356.68137）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件