×

找到187个文档（结果1-100）

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

并发游戏的激励工程。 （英语） 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 07807968号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第27号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{L.N.Egidio}等人，《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第27号论文，第2页（2023；Zbl 07807968）
全文： 内政部
蒙特塞拉特赫莫;帕基·卢西奥;塞萨尔·桑切斯

安全规范可实现性表。 （英语） 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公司
尼古拉·贝蒂埃;Khakpour、Narges

符号抽象堆用于多态信息流保护推断。 （英语） 兹比尔1529.68079

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 66-90 (2023).
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{N.Berthier}和\textit{N.Khakpour}，莱克特。注释计算。科学。13881、66-90（2023年；Zbl 1529.68079）
全文： 内政部 arXiv公司
丹尼尔·乔勒克;马蒂亚斯·杜兰;佛罗伦萨扎诺洛;尼古拉斯·帕佐斯;朱利安·布雷尔;维克多·布拉伯曼;尼古拉斯·D’Impolito;塞巴斯蒂安·乌奇特尔

非阻塞定向控制器的即时信息搜索。 （英语） Zbl 1505.93149号

Automatica公司 147，文章ID 110731，10 p.（2023）.
MSC公司：93元65角
PDF格式BibTeX公司 XML格式引用
\textit{D.Ciolek}等人，Automatica 147，文章ID 110731，10 p.（2023年；Zbl 1505.93149）
全文： 内政部
弗朗索瓦·胡贝尔;戴维·巴恩斯;Sr Djan Krstić

具有度量一阶时间逻辑的实时策略执行。 （英语） Zbl 1524.68193号

Atluri，Vijayalakshmi（编辑）等人，《计算机安全–ESORICS 2022》。第27届欧洲计算机安全研究研讨会，丹麦哥本哈根，2022年9月26日至30日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13555, 211-232 (2022).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Hublet}等人，Lect。注释计算。科学。13555211-232（2022年；Zbl 1524.68193）
全文： 内政部
李勇;安德烈亚·图里尼;冯伟志;莫舍·瓦尔迪。;张丽君

基于SCC分解的Büchi自动机的分治判定。 （英语） Zbl 1514.68108号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372, 152-173 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}等人，Lect。注释计算。科学。13372、152--173（2022年；Zbl 1514.68108）
全文： 内政部 arXiv公司
乌鸦·贝特纳;伯恩德·芬克贝纳

超属性超安全的软件验证。 （英语） Zbl 1514.68122号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 341-362 (2022).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Beutner}和\textit{B.Finkbeiner}，莱克特。注释计算。科学。13371、341--362（2022；Zbl 1514.68122）
全文： 内政部 arXiv公司
保罗·汉尼拔;奥尔德罗格（Ernst-Rüdiger Olderog）

重复通信Petri博弈的综合问题。 （英语） Zbl 1499.68225号

Bernardinello，Luca（编辑）等人，《Petri网和并发的应用和理论》。第43届国际会议，PETRI NETS 2022，挪威卑尔根，2022年6月19-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13288, 236-257 (2022).
MSC公司：第68季度85 第68季度25 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{P.Hannibal}和\textit{E.-R.Olderog}，莱克特。注释计算。科学。13288，236--257（2022；Zbl 1499.68225）
全文： 内政部
卡罗琳娜·莱赫蒂宁;帕里斯（Pawe Parys）;斯文·舍韦;多米尼克·沃伊特扎克

一种在拟多项式时间内求解奇偶对策的递归方法。 （英语） Zbl 07471697号

日志。方法计算。科学。 18，第1号，第8号论文，第18页（2022年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{K.Lehtinen}等人，《日志》。方法计算。科学。18，第1号，第8号论文，18页（2022；Zbl 07471697）
全文： arXiv公司 链接
马哈茂德·哈立德;马吉德·扎马尼

OmegaThreads：常规目标的符号控制器设计。 （英语） Zbl 07807698号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第25号论文，第7页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Khaled}和\textit{M.Zamani}，in：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第25号论文，第7页（2021；Zbl 07807698）
全文： 内政部
亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔

扩展有界响应的公平性、假设和保证长期贷款+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（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，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公司
托拜厄斯·约翰;西蒙·扬奇;克里斯特尔·拜尔;克吕佩尔霍尔茨，萨沙

Emerson Lei自动机的确定化和极限确定化。 （英语） 兹比尔1497.68270

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

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

Hou，Zhe（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，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）
全文： 内政部
龙马仙达;吉崎隆田;弘久世奇（Hiroyuki Seki）

可见寄存器下推自动机的反应合成。 （英语） Zbl 07500652号

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2021》。第18届国际学术讨论会，虚拟活动，哈萨克斯坦努尔苏尔坦，2021年9月8日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12819333-353（2021年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.Senda}等人，Lect。注释计算。科学。12819、334--353（2021；Zbl 07500652）
全文： 内政部
加尔阿姆拉姆;苏古曼·班萨尔;油炸，Dror;卢卡斯·马蒂内利·塔巴哈拉;莫舍·瓦尔迪。;杰拉·韦斯

通过反应合成调整行为。 （英语） 兹比尔1493.68201

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 870-893 (2021).
MSC公司：60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{G.Amram}等人，Lect。注释计算。科学。12759870--893（2021年；Zbl 1493.68201）
全文： 内政部 arXiv公司
哈维尔·埃斯帕尔扎

回到未来：重新审视线性时序逻辑。 （英语） Zbl 07495100号

Maneth，Sebastian（编辑），自动机的实现和应用。第25届国际会议，CIAA 2021，虚拟活动，2021年7月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12803, 3-13 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}，莱克特。注释计算。科学。12803，3-13（2021年；兹bl 07495100）
全文： 内政部
朱利安·古铁雷斯;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;萨沙·鲁宾;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇

定性和定量目标相结合的博弈均衡。 （英语） 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公司 链接
理查德·迈尔;斯文·舍韦;帕特里克·托茨克;多米尼克·沃伊特扎克

具有近似能量平价目标的简单随机博弈是NP和conp。 （英语） Zbl 07410437号

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 427-447 (2021).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.Mayr}等人，Lect。注释计算。科学。12650427--447（2021；Zbl 07410437）
全文： 内政部 arXiv公司
米拉德·阿加乔哈里;阿夫尼，盖伊;托马斯·亨辛格（Thomas A.Henzinger）。

离散投标无限长博弈中的确定性。 （英语） 兹比尔1509.91007

日志。方法计算。科学。 17，第1号，第10号论文，23页（2021年）.
MSC公司：91A43型 65年第68季度 91A50型
PDF格式BibTeX公司 XML格式引用
\textit{M.Aghajohari}等人，日志。方法计算。科学。17，第1号，第10号论文，23页（2021；Zbl 1509.91007）
全文： arXiv公司 链接
伊莎贝拉·考夫曼;金·古德斯特兰·拉森;吉·斯尔巴

具有分支时间获胜条件的多权重博弈的综合。 （英语） Zbl 1503.68182号

Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12152，46-66（2020年）。
MSC公司：60年第68季度 第68季度25 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{I.考夫曼}等人，Lect。注释计算。科学。12152，46-66（2020；Zbl 1503.68182）
全文： 内政部
贝拉德，贝特里奇;贝内迪克特·博利格;帕特里夏·鲍耶;马蒂亚斯·福格尔;纳塔利·斯兹纳杰德

存在动态链接的合成。 （英语） Zbl 07455739号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32633-49（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{B.贝拉德}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326、33-49（2020；Zbl 07455739）
全文： arXiv公司 链接
卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。

部分可观测性下的LTLf综合：从理论到实践。 （英语） Zbl 07455737号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）3261-17（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{L.M.Tabajara}和\textit{M.Y.Vardi}，电子。程序。西奥。计算。科学。（EPTCS）326，1--17（2020；Zbl 07455737）
全文： arXiv公司 链接
托马斯·布里海耶;阿琳·戈敏

基于回合可达性时间博弈的子博弈完美均衡。 （英语） Zbl 07317092号

Bertrand，Nathalie（编辑）等，时间系统的形式化建模和分析。第18届国际会议，FORMATS 2020，奥地利维也纳，2020年9月1日至3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12288, 94-110 (2020).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.Brihaye}和\textit{A.Goeminne}，莱克特。注释计算。科学。12288、94-110（2020；Zbl 07317092）
全文： 内政部 arXiv公司
托马斯·布里海耶;维罗尼克·布鲁埃;阿琳·戈敏;Jean-François拉斯金;玛丽·范登·博加德

定量可达博弈中子博弈完美均衡的复杂性。 （英语） Zbl 1519.91050号

日志。方法计算。科学。 16，第4号，第8号论文，43页（2020年）.
MSC公司：91A43型 91年11月 91A68型 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Brihaye}等人，日志。方法计算。科学。16，第4号，第8号论文，43页（2020年；Zbl 1519.91050）
全文： arXiv公司 链接
莱奥·埃克巴德;艾曼纽·菲利奥特;皮埃尔·阿莱·雷尼尔

传感器定义的数据字函数的可计算性。 （英语） Zbl 07250940号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 217-236 (2020).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛L.Exibard｝等人，Lect。注释计算。科学。12077217-236（2020年；兹bl 07250940）
全文： 内政部 arXiv公司
瑞秋·法拉;奥尔纳·库普弗曼

关于用算术综合规格说明。 （英语） Zbl 1440.68171号

Chatzigeorgiou，Alexander（编辑）等人，《SOFSEM 2020：计算机科学的理论与实践》。第46届信息学理论和实践当前趋势国际会议，SOFSEM 2020，利马索尔，塞浦路斯，2020年1月20日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12011, 161-173 (2020).
MSC公司：60年第68季度 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{R.Faran}和\textit{O.Kupferman}，莱克特。注释计算。科学。12011，161--173（2020；Zbl 1440.68171）
全文： 内政部
莱奥·埃克巴德;艾曼纽·菲利奥特;皮埃尔·阿莱·雷尼尔

数据字换能器的合成。 （英语） Zbl 07649932号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第24条，第15页（2019年）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{L.Exibard}等人，LIPIcs——莱布尼茨国际程序。通知。140，第24条，第15页（2019年；Zbl 07649932）
全文： 内政部
维罗尼克·布鲁埃;昆廷豪特;米凯尔·兰多尔;Jean-François拉斯金

能量平均值游戏。 （英语） Zbl 07649929号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第21条，第17页（2019年）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit｛V.Bruyère｝等人，LIPIcs——莱布尼茨国际会议记录。通知。140，第21条，第17页（2019年；Zbl 07649929）
全文： 内政部 arXiv公司
帕特里克·兰德威尔;克里斯托夫·勒丁

具有无限树全局约束的树自动机。 （英语） Zbl 07559156号

Niedermeier，Rolf（编辑）等人，第36届计算机科学理论方面国际研讨会，2019年3月13日至16日，德国柏林，STACS 2019。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。126，第47条，第15页（2019年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Landwehr}和\textit{C.Löding}，LIPIcs——莱布尼茨国际程序。通知。126，第47条，第15页（2019；兹bl 07559156）
全文： 内政部
赫金·哈布什，杰斯科;Niklas O.Metzger。

异步分布式系统有界综合的有效跟踪编码。 （英语） Zbl 1437.68128号

Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 369-386 (2019).
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{J.Hecking-Harbusch}和\textit{N.O.Metzger}，莱克特。注释计算。科学。11781369-386（2019年；兹比尔1437.68128）
全文： 内政部 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）
全文： 内政部
尼古拉斯·巴塞特;伊斯马·杰克;保罗，阿诺;Jean-François拉斯金;范登，博加德·玛丽

超越可接受性：战略链之间的主导地位。 （英语） Zbl 1528.91015号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。119，第10条，第22页（2018）。
MSC公司：91A43型 06A07年 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Basset}等人，LIPIcs——莱布尼茨国际程序。通知。119，第10条，22 p.（2018；Zbl 1528.91015）
全文： 内政部 arXiv公司
莱奥·埃克巴德;艾曼纽·菲利奥特;伊斯马·杰克

多序列规格换能器综合的复杂性。 （英语） Zbl 1512.68138号

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

GR（1）公式的弱点度量。 （英语） Zbl 1460.68054号

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

流动游戏。 （英语） Zbl 1491.91037号

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。93，第38条，第16页（2018年）。
MSC公司：91A43型 05C21号 05第57页 05C85号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}等人，LIPIcs——莱布尼茨国际程序。通知。93，第38条，第16页（2018；兹bl 1491.91037）
全文： 内政部
吕迪格·埃勒斯;伯恩德·芬克贝纳

对称合成。 （英语） Zbl 1491.68109号

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。93，第26条，第13页（2018年）。
MSC公司：60年第68季度 2007年7月68日 64岁以下 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Ehlers}和\textit{B.Finkbeiner}，LIPIcs——莱布尼茨国际程序。通知。93，第26条，第13页（2018；Zbl 1491.68109）
全文： 内政部 arXiv公司
阿夫尼，盖伊;托马斯·亨辛格（Thomas A.Henzinger）。;拉斯穆斯·易卜森·延森

无限期穷人竞价游戏。 （英语） Zbl 1443.91070号

Christodoulou，George（编辑）等人，《网络和互联网经济学》。2018年12月15日至17日在英国牛津举行的2018年WINE第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11316, 21-36 (2018).
MSC公司：91A43型 91A05型 05第57页 91A68型
PDF格式BibTeX公司 XML格式引用
\textit{G.Avni}等人，Lect。注释计算。科学。11316、21-36（2018年；Zbl 1443.91070）
全文： 内政部 arXiv公司
罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯曼

图形游戏和反应合成。 （英语） Zbl 1392.68233号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。921-962（2018）。
MSC公司：60年第68季度 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，in：模型检查手册。查姆：斯普林格。921-962（2018；Zbl 1392.68233）
全文： 内政部
埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格（Thomas A.Henzinger）。;赫尔穆特·维思

模型检查简介。 （英语） Zbl 1392.68242号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1-26（2018年）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Clarke}等人，in：模型检查手册。查姆：斯普林格。1-26（2018；Zbl 1392.68242）
全文： 内政部
马丁·齐默尔曼

延迟博弈中的有限状态策略。 （英语） Zbl 1484.91014号

Patricia Bouyer等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256151-165（2017）。
MSC公司：91A10号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Zimmermann}，电子。程序。西奥。计算。科学。（EPTCS）256151--165（2017；Zbl 1484.91014）
全文： 链接
简·Křetínsk;托拜厄斯·梅根多夫;克拉拉·沃尔德曼;马克西米利安·威宁格

用于将拉宾自动机转换为奇偶自动机的索引外观记录。 （英语） Zbl 1452.68108号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 443-460 (2017).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Křetínskඃ}et al.，Lect。注释计算。科学。10205、443--460（2017；Zbl 1452.68108）
全文： 内政部 arXiv公司
阿夫尼，盖伊;托马斯·亨辛格（Thomas A.Henzinger）。;文西斯拉夫·乔涅夫

无限期竞标游戏。 （英语） Zbl 1448.91061号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。CONCUR 2017，德国柏林，2017年9月5日至8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。85，第21条，第18页（2017年）。
MSC公司：91A43型 05第57页 91A05型 91A20型
PDF格式BibTeX公司 XML格式引用
\textit{G.Avni}等人，LIPIcs——莱布尼茨国际程序。通知。85，第21条，第18页（2017年；Zbl 1448.91061）
全文： 内政部
克里希南德·查特吉;克里斯托弗·阿恩斯费尔特·汉森;拉斯穆斯·易卜森·延森

并发安全游戏的策略复杂性。 （英语） 兹比尔1447.91018

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第55条，第13页（2017）。
MSC公司：91A20型 91A43型 91A05型 91A68型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。83，第55条，13 p.（2017；Zbl 1447.91018）
全文： 内政部
克里希南德·查特吉;莫妮卡·亨津格;亚历山大·斯沃齐尔

用于平均对偶游戏的更快算法。 （英语） Zbl 1441.91015号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第39条，第14页（2017）。
MSC公司：91A43型 第68季度25 68瓦40 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。83，第39条，第14页（2017年；Zbl 1441.91015）
全文： 内政部 arXiv公司
Chebotarev，A.N。

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

赛博。系统。分析。 53，第5号，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）
全文： 内政部
维罗尼克·布鲁埃;勒鲁（Le Roux，Stéphane）;保罗，阿诺;Jean-François拉斯金

关于弱子博弈完美均衡的存在性。 （英语） Zbl 1486.91016号

Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203, 145-161 (2017).
MSC公司：91A43型 60年第68季度 91年11月
PDF格式BibTeX公司 XML格式引用
\textit{V.Bruyère}等人，Lect。注释计算。科学。10203、145--161（2017；Zbl 1486.91016）
全文： 内政部 链接
罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼（Ofer Strichman）

合成非真空系统。 （英语） Zbl 1484.68096号

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 55-72 (2017).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，Lect。注释计算。科学。10145，55-72（2017；Zbl 1484.68096）
全文： 内政部 链接
马里亚·斯沃雷奥娃;简·Křetínsk;马丁·奇梅利克;克里希南德·查特吉;伊万娜·乔纳;加利福尼亚州贝尔塔

随机线性系统的时间逻辑控制，使用概率对策的抽象精化。 （英语） Zbl 1351.93138号

非线性分析。，混合系统。 23230-253（2017）.
MSC公司：93E03型 93二氧化碳 93C55美元 第91页第15页 93E25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Svoreňová}等人，《非线性分析》。，混合系统。23、230-253（2017年；Zbl 1351.93138）
全文： 内政部 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号 第68季度25
PDF格式BibTeX公司 XML格式引用
\textit{L.Tentrup}等人，《电子》。程序。西奥。计算。科学。（EPTCS）226302-315（2016；Zbl 1478.68179）
全文： arXiv公司 链接
安舒尔·古普塔;斯文·舍韦;阿舒托什·特里维迪;迪帕克（Deepak），玛兰·赛·克里希纳（Maram Sai Krishna）;巴达提·库马尔

奖励Stackelberg mean-payoff游戏。 （英语） Zbl 1390.91073号

De Nicola，Rocco（编辑）等人，《软件工程与形式化方法》。2016年7月4日至8日，作为2016年STAF的一部分，在奥地利维也纳举行了2016年SEFM第14届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-41590-1/pbk；978-3-316-41591-8/电子书）。计算机科学课堂讲稿9763304-320（2016）。
MSC公司：91A43型 91A06型 91A65型
PDF格式BibTeX公司 XML格式引用
\textit{A.Gupta}等人，Lect。注释计算。科学。9763，304--320（2016；Zbl 1390.91073）
全文： 内政部 arXiv公司
阿夫尼，盖伊;托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼

动态资源分配游戏。 （英语） Zbl 1403.91059号

Gairing，Martin（编辑）等人，算法博弈论。2016年9月19-21日，第九届SAGT国际研讨会，英国利物浦。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-53353-6/pbk；978-3-562-53354-3/电子书）。计算机科学讲座笔记9928，153-166（2016）。
MSC公司：91A43型 91B32型 91A25型
PDF格式BibTeX公司 XML格式引用
\textit{G.Avni}等人，Lect。注释计算。科学。9928153-166（2016年；Zbl 1403.91059）
全文： 内政部
伊娜拉、杰埃瓦娜·普利亚;罗希特·辛格;阿曼多·索拉勒扎马

位矢量解算器专用域CNF编码器的合成。 （英语） 兹比尔1475.68439

Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 302-320 (2016).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.P.Inala}等人，Lect。注释计算。科学。9710，302-320（2016；Zbl 1475.68439）
全文： 内政部 链接
奥尔纳·库普弗曼

关于高质量合成。 （英语） Zbl 1476.68150号

库利科夫，亚历山大·S（编辑）等人，《计算机科学——理论与应用》。2016年6月9日至13日在俄罗斯圣彼得堡举行的第十一届国际计算机科学研讨会，CSR 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9691, 1-15 (2016).
MSC公司：60年第68季度 68-02
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}，莱克特。注释计算。科学。9691，1-15（2016；Zbl 1476.68150）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件