×

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

最新的 引文 关联
马丁·齐默尔曼

延迟博弈中的有限状态策略。 （英语） 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格式引用
\文本{J.Křetínský}等人，Lect。注释计算。科学。10205、443--460（2017；Zbl 1452.68108）
全文： 内政部 arXiv公司
阿夫尼，盖伊；托马斯·亨辛格（Thomas A.Henzinger）。；文茨拉夫·乔涅夫

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

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第21条，第18页（2017年）。
MSC公司：91A43型 05年5月57日 91A05型 91A20型
PDF格式BibTeX公司 XML格式引用
\textit｛G.Avni｝等人，LIPIcs——莱布尼茨国际期刊。通知。85，第21条，第18页（2017年；Zbl 1448.91061）
全文： 内政部
克里希南德·查特吉；Hansen，Kristoffer Arnsfelt；拉斯穆斯·易卜森·延森

并发安全游戏的策略复杂性。 （英语） Zbl 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型 65年第68季度 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季度 91A11号机组
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号

非线性分析。，混合系统。 23, 230-253 (2017).
MSC公司：93E03型 93二氧化碳 93C55美元 91A15型 93E25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Svoreňová}等人，《非线性分析》。，混合系统。23、230-253（2017年；Zbl 1351.93138）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前3名

主字段

全部的 前3名

软件