×

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

通过准自治权求解均值对价博弈。 (英语) Zbl 1484.91004号

Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12079, 289-306 (2020).
MSC公司:91A05型 91A70型
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

奇偶对策的分块整数算法的鲁棒指数最坏情况。 (英语) Zbl 1483.91049号

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

对等游戏的延迟促销政策。 (英语) Zbl 1478.68144号

Cantone,Domenico(编辑)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)22630-45(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

出版年份

主字段