×

找到65个文档（结果1–65）

最新的 引文 关联
大卫·海兰德；朱利安·古铁雷斯；迈克尔·伍尔德里奇

并发游戏的激励工程。 （英语） Zbl 07810626号

Verbrugge，Rineke（编辑），《第十九届理性与知识理论方面会议记录》，TARK，英国牛津，2023年6月28日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）379344-358（2023年）。
MSC公司：91A20型 91B43型 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{D.Hyland}等人，《电子》。程序。西奥。计算。科学。（EPTCS）379、344-358（2023年；Zbl 07810626）
全文： 内政部 arXiv公司
蒙特塞拉特赫莫；帕基·卢西奥；塞萨尔·桑切斯

安全规范可实现性表。 （英语） Zbl 1529.68159号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 495-513 (2023).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Hermo}等人，Lect。注释计算。科学。14000，495--513（2023；Zbl 1529.68159）
全文： 内政部 arXiv公司
劳拉·博泽利；阿尔贝托·莫利纳里；Angelo蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉

同质性假设下子区间逻辑的可满足性和模型检验。 （英语） Zbl 07471713号

日志。方法计算。科学。 18，第1号，第24号论文，第25页（2022年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，日志。方法计算。科学。18，第1号，第24号论文，第25页（2022；Zbl 07471713）
全文： arXiv公司 链接
亚历山德罗·西马蒂；卢卡·盖蒂；尼古拉·吉甘特；Angelo蒙塔纳里；斯特凡诺·托内塔

扩展有界响应的公平性、假设和保证长期贷款+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）
全文： 内政部
肖恩·阿佐帕迪；尼尔·皮特曼；杰拉尔多·施奈德

在反应合成中加入监测器而无需付出代价。 （英语） Zbl 1497.68284号

Hou，Zhe（编辑）等，验证和分析自动化技术。2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，第19届国际研讨会，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 337-353 (2021).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Azzopardi}等人，莱克特。注释计算。科学。12971、337--353（2021；Zbl 1497.68284）
全文： 内政部 arXiv公司
卢卡斯·塔巴哈拉。；莫舍·瓦尔迪。

线性时序逻辑——从无限到有限。 （英语） 兹比尔1497.03035

Hou，Zhe（编辑）等，验证和分析自动化技术。2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，第19届国际研讨会，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 3-12 (2021).
MSC公司：03B44号 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.M.Tabajara}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。12971，3-12（2021；Zbl 1497.03035）
全文： 内政部
朱利安·古铁雷斯；阿尼埃洛·穆拉诺；朱塞佩·佩雷利；萨沙·鲁宾；托马斯·斯蒂普尔斯；迈克尔·伍尔德里奇

质量和数量目标相结合的游戏的平衡。 （英语） Zbl 1483.68193号

学报信息。 58，第6号，585-610（2021）.
MSC公司：60年第68季度 03B44号 68T42型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{J.Gutierrez}等人，《信息学报》58，第6期，585--610（2021年；Zbl 1483.68193）
全文： 内政部 arXiv公司 链接
劳拉·博泽利；阿尔贝托·莫利纳里；Angelo蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉

在模型检查中，区间时序逻辑HS的哪些片段是可处理的？ （英语） Zbl 1429.68139号

西奥。计算。科学。 764, 125-144 (2019).
审核人：马丁·兰格（卡塞尔）
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，Theor。计算。科学。764125-144（2019年；Zbl 1429.68139）
全文： 内政部 链接
纳塔娜·菲亚尔科夫；巴斯蒂安·莫伯特；阿尼埃洛·穆拉诺；萨沙·鲁宾

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

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨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 1512.68138号

Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第46条，第16页（2018年）。
MSC公司：65年第68季度 03B25号 05年3月 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Exibard}等人，LIPIcs——莱布尼茨国际程序。通知。117，第46条，第16页（2018；Zbl 1512.68138）
全文： 内政部 arXiv公司
戴维德·贾科莫·卡维扎；达拉·阿拉杰；安德拉斯·吉尔吉

GR（1）公式的弱点度量。 （英语） 兹比尔1460.68054

Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951, 110-128 (2018).
MSC公司：60年第68季度 03B44号 28A80型 28天20分 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.G.Cavezza}等人，Lect。注释计算。科学。10951、110-128（2018；Zbl 1460.68054）
全文： 内政部 arXiv公司
Chebotarev，A.N。

一阶逻辑语言LP和LF中指定的（Sigma）-自动机的合成问题。 （英语。俄文原件） Zbl 1380.68271号

赛博。系统。分析。 第5号第53页，第675-683页（2017年）; 翻译自Kibern。修女。分析。2017年，第5期，22-33（2017）。
MSC公司：60年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。53，第5号，675--683（2017；Zbl 1380.68271）；翻译自Kibern。修女。分析。2017年第5号、第22-33号（2017）
全文： 内政部
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公司 链接
劳拉·博泽利；阿尔贝托·莫利纳里；Angelo蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉

间隔时间逻辑模型检查：好的和坏的HS片段之间的边界。 （英语） Zbl 1475.68177号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 389-405 (2016).
MSC公司：60年第68季度 03B44号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，Lect。注释计算。科学。9706389--405（2016；Zbl 1475.68177）
全文： 内政部
马丁·齐默尔曼

参数化线性时序逻辑满足成本：仍然不比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公司 链接
柯特林·迪马；巴斯蒂安·莫伯特；苏菲·平奇纳特

过渡系统中的相关路径：模态微积分的下降。 （英语） Zbl 1465.68173号

Italiano，F.（ed.）等人，《2015年计算机科学数学基础》。第40届国际研讨会，2015年MFCS，意大利米兰，2015年8月24-28日。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。9234, 179-191 (2015).
MSC公司：60年第68季度 03B16号 03B45号 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛C.Dima｝等人，Lect。注释计算。科学。9234、179--191（2015年；Zbl 1465.68173）
全文： 内政部
沃伊切赫·贾姆罗加；沃伊切赫·彭泽克

多代理系统的规范和验证。 （英语） Zbl 1250.68190号

Nick Bezhanishvili等人，《逻辑和计算讲座》。ESSLLI 2010年丹麦哥本哈根，2010年8月，ESSLLI2011年，斯洛文尼亚卢布尔雅那，2011年8月。精选课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-31484-1/pbk）。计算机科学课堂讲稿7388，210-263（2012）。
MSC公司：60年第68季度 03B45号 68T27型 68T42型 91A99型 91B14号机组
PDF格式BibTeX公司 XML格式引用
\textit{W.Jamroga}和\textit{W.Penczek}，莱克特。注释计算。科学。7388、210-263（2012年；Zbl 1250.68190）
全文： 内政部
亚达夫，尼廷；塞巴斯蒂安·萨迪纳

定性近似行为构成。 （英语） Zbl 1361.68282号

Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，第13届欧洲会议，2012年JELIA，法国图卢兹。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。《人工智能课堂讲稿》，450-462（2012）。
MSC公司：68T42型 03B44号 60年第68季度 93元65角
PDF格式BibTeX公司 XML格式引用
\textit{N.Yadav}和\textit{S.Sardina}，莱克特。注释计算。科学。7519450-462（2012年；Zbl 1361.68282）
全文： 内政部 arXiv公司
芭芭拉·乔布斯曼；斯特凡·斯塔珀；安德烈亚斯·格雷斯迈耶；罗德里克·布洛姆

发现并修复故障。 （英语） Zbl 1263.68112号

J.计算。系统。科学。 78，第2期，441-460（2012）.
审核人：约翰·乔治·格兰斯特罗姆（苏黎世）
MSC公司：60年第68季度 91A80型 03B70号 68号30 65年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{B.Jobstmann}等人，J.计算。系统。科学。78，No.2，441--460（2012；Zbl 1263.68112）
全文： 内政部
迈克尔·本尼迪克特；拉斯蒂斯拉夫·伦哈特；詹姆斯·沃雷尔

模型检查和游戏中的双变量与线性时序逻辑。 （英语） Zbl 1343.68151号

Katoen，Joost Pieter（编辑）等人，CONCUR 2011——并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学讲义6901、497-511（2011）。
MSC公司：60年第68季度 03B44号 05年3月 87年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Benedikt}等人，Lect。注释计算。科学。6901497--511（2011；Zbl 1343.68151）
全文： 内政部 arXiv公司
奥利弗·弗里德曼；马库斯拿铁；马丁·兰格

基于tableaux和自动机的\（\mathrm{CTL}^{*}\）的决策过程。 （英语） Zbl 1257.03035号

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日，英国爱丁堡，第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。《人工智能课堂讲稿》，331-345（2010）。
MSC公司：03B35型 03B44号 05年3月 68吨15 91A05型
PDF格式BibTeX公司 XML格式引用
\textit{O.Friedmann}等人，Lect。注释计算。科学。6173、331--345（2010年；Zbl 1257.03035）
全文： 内政部
乌迪·博克；奥尔纳·库普弗曼

寻求将Büchi严格翻译为co-Bu chi automata。 （英语） Zbl 1287.68092号

安德烈亚斯·布拉斯（编辑）等人，《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-15024-1/pbk）。计算机科学课堂讲稿6300，147-164（2010）。
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{U.Boker}和\textit{O.Kupferman}，莱克特。注释计算。科学。6300、147--164（2010年；Zbl 1287.68092）
全文： 内政部
劳伦特·多恩；吉勒·杰勒茨；Jean-Francois拉斯金；朱利安·莱切特

实时逻辑的可实现性。 （英语） 兹比尔1262.68117

Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。第七届国际会议，FORMATS 2009，匈牙利布达佩斯，2009年9月14日至16日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813，133-148（2009）。
MSC公司：60年第68季度 03B44号 05年3月 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Doyen}等人，Lect。注释计算。科学。5813、133--148（2009年；Zbl 1262.68117）
全文： 内政部
克莱尔·狄克逊；玛丽·卡门·费尔南德斯·加戈；迈克尔·费希尔；范德霍克，威比

知识的时间逻辑及其在安全中的应用。 （英语） Zbl 1277.94051号

Dima，Cétélin（ed.）等人，《信息和计算机安全第一次研讨会论文集》（ICS 2006），罗马尼亚蒂米索拉，2006年9月30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记186，27-42（2007）。
MSC公司：94A62型 03B44号 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Dixon}等人，《电子》。注释Theor。计算。科学。186、27-42（2007年；Zbl 1277.94051）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件