Timm,零;约苏阿·博塔 用于资源分配的多智能体系统的模型检查和策略综合。 (英语) Zbl 1498.68343号 Campos,Sérgio(编辑)等人,《形式方法:基础和应用》。第24届巴西研讨会,SBMF 2021,虚拟活动,2021年12月6日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13130, 53-69 (2021).MSC公司:68T42型 03B70号 60年第68季度 91立方厘米32 PDF格式BibTeX公司 XML格式引用 \textit{N.Timm}和\textit{J.Botha},莱克特。注释计算。科学。13130,53-69(2021;Zbl 1498.68343) 全文: 内政部
马丁·迪德里克森;Jensen,Peter G。;Jønler,Jonathan F。;安德烈·伊昂·卡托纳;桑奇·D·L·喇嘛。;弗雷德里克·洛特鲁普。;沙哈卜·沙贾拉特;吉·斯尔巴 通过Petri游戏自动合成暂时正确的网络更新。 (英语) 兹比尔1489.68157 Buchs,Didier(编辑)等人,Petri网和并发的应用和理论。第42届国际会议,PETRI NETS 2021,虚拟活动,2021年6月23日至25日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12734, 118-137 (2021).MSC公司:68问题85 68M10个 60年第68季度 68兰特 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Didriksen}等人,Lect。注释计算。科学。12734、118--137(2021年;Zbl 1489.68157) 全文: 内政部
克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;亚历山大·斯沃齐尔 规划问题的算法和条件下限。 (英语) Zbl 1519.68231号 Artif公司。因特尔。 297,文章ID 103499,22 p.(2021).MSC公司:68T20型 2017年第68季度 68兰特 90立方厘米 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Artif。因特尔。297,文章ID 103499,22 p.(2021;Zbl 1519.68231) 全文: 内政部 arXiv公司 链接
尼古拉·吉甘特;安吉洛·蒙塔纳里;安德烈亚·奥兰迪尼;玛尔塔·恰尔迪亚·梅耶;马克·雷诺兹 关于基于时间的游戏及其复杂性。 (英语) Zbl 1433.68409号 西奥。计算。科学。 815, 247-269 (2020).MSC公司:68T20型 91A25型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{N.Gigante}等人,Theor。计算。科学。815247-269(2020年;Zbl 1433.68409) 全文: 内政部 链接
巴斯卡尔·拉马苏布拉曼尼亚语;牛、路遥;安德鲁·克拉克;布什内尔,琳达;普文德兰,拉达 使用安全控制屏障证书的对抗环境中的线性时序逻辑满意度。 (英语) Zbl 1440.68038号 Alpcan,Tansu(编辑)等人,《安全决策与博弈论》。2019年10月30日至11月1日,第十届国际会议,2019年GameSec,瑞典斯德哥尔摩。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11836, 385-403 (2019).MSC公司:68平方米25 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{B.Ramasubramanian}等人,Lect。注释计算。科学。11836,385--403(2019;Zbl 1440.68038) 全文: 内政部 arXiv公司
尼古拉·吉甘特;安吉洛·蒙塔纳里;梅耶·玛尔塔·恰尔迪亚;安德烈亚·奥兰迪尼;马克·雷诺兹 一种游戏理论方法,用于基于时间的不确定性规划。 (英语) Zbl 1487.68213号 Alechina,Natasha(编辑)等人,第25届时间表征和推理国际研讨会。《时代》2018,波兰华沙,2018年10月15日至17日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120,第13条,第17页(2018年)。MSC公司:68T20型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{N.Gigante}等人,LIPIcs——莱布尼茨国际程序。通知。120,第13条,第17页(2018;Zbl 1487.68213) 全文: 内政部 arXiv公司
吴义钦;瓦苏马提·拉曼;布莱克·罗林斯。;圣菲拉福顿;Sanjit A.Seshia。 综合模糊处理策略以确保隐私和实用性。 (英语) Zbl 1426.68085号 J.汽车。推理 60,第1期,107-131(2018).MSC公司:68第27页 65年第68季度 68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{Y.-C.Wu}等人,J.Autom。推理60,编号1,107-131(2018;Zbl 1426.68085) 全文: 内政部 链接
西蒙·布萨;查尔斯·佩彻 一种基于反向遍历的方法,用于约束可达性统一策略的符号模型检查。 (英语) 兹比尔1483.68188 Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256253-267(2017)。MSC公司:60年第68季度 03B44号 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Busard}和\textit{C.Pecheur},电子。程序。西奥。计算。科学。(EPTCS)256253--267(2017;Zbl 1483.68188) 全文: arXiv公司 链接
克里希南德·查特吉;Vinayak S.普拉布。 实时系统的定量定时仿真功能和细化指标。 (英语) Zbl 1361.68019号 2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。273-282 (2013).MSC公司:64岁以下 65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{V.S.Prabhu},in:第16届ACM混合系统国际会议论文集:计算与控制,HSCC 2013,美国宾夕法尼亚州费城,2013年4月8日至11日。纽约州纽约市:计算机协会(ACM)。273--282(2013;Zbl 1361.68019) 全文: 内政部 arXiv公司
拉杰夫·阿鲁尔;Forejt,Vojtěch公司;萨拉尔·莫拉里夫;阿舒托什·特里维迪 有界速率多模式系统的安全可调度性。 (英语) Zbl 1361.93019号 2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。243-252 (2013).MSC公司:93立方 2017年第68季度 65年第68季度 90B35型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《第16届ACM混合系统国际会议论文集:计算与控制》,2013年HSCC,美国宾夕法尼亚州费城,2013年4月8-11日。纽约州纽约市:计算机协会(ACM)。243-252(2013;Zbl 1361.93019) 全文: 内政部 arXiv公司
Yang、Inson;Becker Weimann,萨宾;米娜·J·比塞尔。;克莱尔·汤姆林。 差分对策可达集的一次计算。 (英语) Zbl 1364.49051号 2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-1567-8)。183-192 (2013).MSC公司:49号70 49升25 49平方米 91年2月23日 PDF格式BibTeX公司 XML格式引用 \textit{I.Yang}等人,in:第16届ACM混合系统国际会议论文集:计算与控制,HSCC 2013,费城,宾夕法尼亚州,美国,2013年4月8-11日。纽约州纽约市:计算机协会(ACM)。183-192(2013年;Zbl 1364.49051) 全文: 内政部
克里希南德·查特吉;亚历山大·科勒;乌尔里希·施密德 使用图形游戏自动分析实时调度。 (英语) Zbl 1361.90021号 2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。163-172 (2013).MSC公司:90B35型 65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,in:第16届ACM混合系统国际会议论文集:计算与控制,HSCC 2013,美国宾夕法尼亚州费城,2013年4月8-11日。纽约州纽约市:计算机协会(ACM)。163-172(2013年;Zbl 1361.90021) 全文: 内政部
罗德里克·布洛姆;芭芭拉·乔布斯曼;尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 反应(1)设计的合成。 (英语) Zbl 1247.68050号 J.计算。系统。科学。 78,第3期,911-938(2012).MSC公司:68号30 03B44号 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《计算杂志》。系统。科学。78,第3号,911--938(2012;Zbl 1247.68050) 全文: 内政部
布利切夫,P.E。 博弈论模拟检查工具。 (英语。俄文原件) 兹比尔1242.68154 程序。计算。柔和。 37,第4期,200-209(2011);译自Programmirovanie 37,No.4(2011)。MSC公司:60年第68季度 68问题85 03B44号 91A80型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Bulychev},程序。计算。柔和。37,第4号,200--209(2011;Zbl 1242.68154);译自Programmirovanie 37,No.4(2011) 全文: 内政部
范德波尔(Jaco van de Pol);迈克尔·韦伯 奇偶游戏的多核求解器。 (英语) Zbl 1286.68326号 乔纳·伊瓦纳(编辑)等人,《第七届平行和分布式验证方法国际研讨会论文集》(PDMC 2008),匈牙利布达佩斯,2008年3月29日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》220,第2期,19-34(2008)。MSC公司:60年第68季度 68宽10 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.van de Pol}和\textit{M.Weber},电子。注释Theor。计算。科学。220,编号2,19-34(2008;Zbl 1286.68326) 全文: 内政部
本·拉比,拉姆齐;塞巴斯蒂安·科尼埃奇尼;皮埃尔·侯爵 将经典规划扩展到多智能体案例:一种博弈论方法。 (英语) Zbl 1148.68471号 Mellouli,Khaled(编辑),不确定性推理的符号和定量方法。第九届欧洲会议,2007年10月31日至11月2日,ECSQARU,突尼斯哈马马特。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75255-4/pbk)。计算机科学课堂讲稿4724。人工智能课堂讲稿,731-742(2007)。MSC公司:68T20型 91A10号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Ben Larbi}等人,Lect。注释计算。科学。4724、731--742(2007年;Zbl 1148.68471) 全文: 内政部