×

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

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

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

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

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

计算树逻辑中的循环检测。 (英语) Zbl 1478.68158号

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

带有最小模型量词的分支时间时序逻辑。 (英语) Zbl 1247.03026号

Diekert,Volker(编辑)等人,《语言理论的发展》。第13届国际会议,DLT 2009,德国斯图加特,2009年6月30日-7月3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02736-9/pbk)。计算机科学课堂讲稿5583,396-409(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段