×

找到109个文档(结果1-100)

并发游戏的激励工程。 (英语) Zbl 07810626号

Verbrugge,Rineke(编辑),《第十九届理性与知识理论方面会议记录》,TARK,英国牛津,2023年6月28日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)379344-358(2023年)。
PDF格式BibTeX公司 XML格式引用

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

Bernardinello,Luca(编辑)等人,《Petri网和并发的应用和理论》。第43届国际会议,PETRI NETS 2022,挪威卑尔根,2022年6月19-24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13288236-257(2022)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

欧米伽规则能量游戏的高效算法。 (英语) Zbl 1522.91065号

Huisman,Marieke(编辑)等人,《形式方法》。第24届国际研讨会,FM 2021,虚拟活动,2021年11月20日至26日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13047, 163-181 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于因果关系的游戏解决。 (英语) Zbl 1493.68203号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 894-917 (2021).
PDF格式BibTeX公司 XML格式引用

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

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 870-893 (2021).
PDF格式BibTeX公司 XML格式引用

定性时间并发游戏的基于回合的方法。 (英语) Zbl 1489.68160号

Buchs,Didier(编辑)等人,Petri网和并发的应用和理论。第42届国际会议,PETRI NETS 2021,虚拟活动,2021年6月23日至25日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12734, 76-92 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

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

Janicki,Ryszard(编辑)等人,Petri网和并发的应用和理论。第41届国际会议,PETRI NETS 2020,法国巴黎,2020年6月24日至25日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12152, 46-66 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

存在动态链接的合成。 (英语) Zbl 07455739号

Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)32633-49(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

部分可观测性下的LTLf综合:从理论到实践。 (英语) Zbl 07455737号

Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)3261-17(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

具有时序逻辑目标的图上的诱饵分配游戏。 (英语) Zbl 1483.68044号

朱全燕(主编)等,《安全决策与博弈论》。第11届国际会议,2020年10月28日至30日,GameSec 2020,美国马里兰州大学公园。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12513, 168-187 (2020).
PDF格式BibTeX公司 XML格式引用

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

Chatzigeorgiou,Alexander(编辑)等人,《SOFSEM 2020:计算机科学的理论与实践》。第46届信息学理论和实践当前趋势国际会议,SOFSEM 2020,利马索尔,塞浦路斯,2020年1月20日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12011, 161-173 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

综合最佳弹性控制器。 (英语) Zbl 1528.68085号

Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第34条,第17页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

超越可接受性:战略链之间的主导地位。 (英语) Zbl 1528.91015号

Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第10条,第22页(2018年)。
PDF格式BibTeX公司 XML格式引用

带时钟的定时网络游戏。 (英语) Zbl 1510.91055号

Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117,第23条,第18页(2018年)。
PDF格式BibTeX公司 XML格式引用

流动游戏。 (英语) 兹比尔1491.91037

Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93,第38条,第16页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无限期穷人竞价游戏。 (英语) Zbl 1443.91070号

Christodoulou,George(编辑)等人,《网络和互联网经济学》。2018年12月15日至17日在英国牛津举行的2018年WINE第14届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11316, 21-36 (2018).
PDF格式BibTeX公司 XML格式引用

图形游戏和反应合成。 (英语) Zbl 1392.68233号

Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。921-962 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256151-165(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

在布尔游戏中放松独占控制。 (英语) Zbl 1483.68185号

Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)251,43-56(2017)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

分层网络编队游戏。 (英语) Zbl 1457.91106号

Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 229-246 (2017).
MSC公司:91A43型 91A65型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无限期竞标游戏。 (英语) Zbl 1448.91061号

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第21条,第18页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并发安全游戏的策略复杂性。 (英语) 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年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于平均对偶游戏的更快算法。 (英语) 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年)。
PDF格式BibTeX公司 XML格式引用

定时网络游戏。 (英语) Zbl 1441.91014号

Larsen,Kim G.(编辑)等人,第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,丹麦奥尔堡,MFCS 2017。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83,第37条,第16页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

Esparza,Javier(编辑)等人,《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017,作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10203, 145-161 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

奖励Stackelberg mean-payoff游戏。 (英语) Zbl 1390.91073号

De Nicola,Rocco(编辑)等人,《软件工程和形式化方法》。第14届国际会议,2016年SEFM,作为2016年STAF的一部分,于2016年7月4日至8日在奥地利维也纳举行。诉讼程序。查姆:施普林格(ISBN 978-3-319-41590-1/pbk;978-3-316-41591-8/电子书)。计算机科学课堂讲稿9763304-320(2016)。
PDF格式BibTeX公司 XML格式引用

动态资源分配游戏。 (英语) 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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

过渡系统中的相关路径:模态微积分的下降。 (英语) Zbl 1465.68173号

Italiano,F.(ed.)等人,《2015年计算机科学数学基础》。第40届国际研讨会,2015年MFCS,意大利米兰,2015年8月24-28日。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。9234, 179-191 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交替Büchi游戏的(O(n^2))时间算法。 (英语) Zbl 1421.68110号

Rabani,Yuval(编辑),第23届ACM-SIAM离散算法年度研讨会论文集,SODA 2012,日本京都,2012年1月17日至19日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。1386-1399 (2012).
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

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

Nick Bezhanishvili等人,《逻辑和计算讲座》。ESSLLI 2010年丹麦哥本哈根,2010年8月,ESSLLI2011年,斯洛文尼亚卢布尔雅那,2011年8月。精选课堂讲稿。柏林:施普林格出版社(ISBN 978-3-642-31484-1/pbk)。计算机科学课堂讲稿7388,210-263(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

数字合同签署的综合协议。 (英语) Zbl 1325.94115号

Kuncak,Viktor(编辑)等人,《验证、模型检查和抽象解释》。2012年1月22日至24日,第13届国际会议,VMCAI 2012,美国宾夕法尼亚州费城。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-27939-3/pbk)。计算机科学课堂讲稿7148152-168(2012)。
MSC公司:94A60型 91A80型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

跨越类似游戏之间的桥梁。 (英语) Zbl 1348.68147号

Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,160-176(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

欧米伽规则目标的最小注意力控制器综合。 (英语) Zbl 1348.68096号

Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,145-159(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

Katoen,Joost-Pieter(编辑)等,CONCUR 2011–并发理论。2011年9月6日至9日,德国亚琛,第22届国际会议,CONCUR 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学课堂讲稿6901497-511(2011)。
PDF格式BibTeX公司 XML格式引用

基于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格式引用
全文: 内政部

用于检查交替计时模拟的高效实时算法。 (英语) Zbl 1262.68105号

Ouaknine,Joöl(编辑)等,时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04367-3/pbk)。计算机科学课堂讲稿5813,73-87(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图上无限对策的可容许策略。 (英语) Zbl 1250.68187号

Královič,Rastislav(编辑)等人,2009年计算机科学数学基础。2009年8月24-28日,斯洛伐克High Tatras,Novy Smokovec,第34届国际研讨会,MFCS 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03815-0/pbk)。计算机科学课堂讲稿5734,307-318(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

STORMED混合游戏。 (英语) Zbl 1237.91020号

Majumdar,Rupak(编辑)等人,《混合系统:计算和控制》。2009年4月13日至15日在美国加利福尼亚州旧金山举行的2009年HSCC第12届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00601-2/pbk)。计算机科学课堂讲稿5469,480-484(2009)。
MSC公司:91A10号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算不完全信息安全博弈的最弱策略。 (英语) Zbl 1234.68259号

Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记550592-106(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

游戏量化模式。 (英语) Zbl 1209.03031号

Ramanujam,R.(编辑)等人,《逻辑及其应用》。2009年1月7日至11日,第三届印度会议,ICLA 2009,印度钦奈。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-92700-6/pbk)。计算机科学讲义5378。人工智能课堂讲稿,116-130(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

格子模拟关系和游戏。 (英语) Zbl 1141.68473号

Namjoshi,Kedar S.(编辑)等人,《验证和分析自动化技术》。2007年10月22日至25日,第五届国际研讨会,ATVA 2007,日本东京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75595-1/pbk)。计算机科学课堂讲稿4762316-330(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于观察和断续不变策略的时间控制。 (英语) Zbl 1141.68428号

Namjoshi,Kedar S.(编辑)等人,《验证和分析自动化技术》。2007年10月22日至25日,第五届国际研讨会,ATVA 2007,日本东京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75595-1/pbk)。计算机科学课堂讲稿4762192-206(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份