×

找到16个文档(结果1-16)

用于资源分配的多智能体系统的模型检查和策略综合。 (英语) Zbl 1498.68343号

Campos,Sérgio(编辑)等人,《形式方法:基础和应用》。第24届巴西研讨会,SBMF 2021,虚拟活动,2021年12月6日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13130, 53-69 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过Petri游戏自动合成暂时正确的网络更新。 (英语) 兹比尔1489.68157

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

使用安全控制屏障证书的对抗环境中的线性时序逻辑满意度。 (英语) Zbl 1440.68038号

Alpcan,Tansu(编辑)等人,《安全决策与博弈论》。2019年10月30日至11月1日,第十届国际会议,2019年GameSec,瑞典斯德哥尔摩。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11836, 385-403 (2019).
PDF格式BibTeX公司 XML格式引用

一种游戏理论方法,用于基于时间的不确定性规划。 (英语) 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格式引用

一种基于反向遍历的方法,用于约束可达性统一策略的符号模型检查。 (英语) 兹比尔1483.68188

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

实时系统的定量定时仿真功能和细化指标。 (英语) Zbl 1361.68019号

2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。273-282 (2013).
PDF格式BibTeX公司 XML格式引用

有界速率多模式系统的安全可调度性。 (英语) Zbl 1361.93019号

2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。243-252 (2013).
PDF格式BibTeX公司 XML格式引用

差分对策可达集的一次计算。 (英语) Zbl 1364.49051号

2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-1567-8)。183-192 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用图形游戏自动分析实时调度。 (英语) Zbl 1361.90021号

2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。163-172 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

奇偶游戏的多核求解器。 (英语) Zbl 1286.68326号

乔纳·伊瓦纳(编辑)等人,《第七届平行和分布式验证方法国际研讨会论文集》(PDMC 2008),匈牙利布达佩斯,2008年3月29日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》220,第2期,19-34(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

将经典规划扩展到多智能体案例:一种博弈论方法。 (英语) Zbl 1148.68471号

Mellouli,Khaled(编辑),不确定性推理的符号和定量方法。第九届欧洲会议,2007年10月31日至11月2日,ECSQARU,突尼斯哈马马特。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75255-4/pbk)。计算机科学课堂讲稿4724。人工智能课堂讲稿,731-742(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件