×

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

随机系统的决定性及其在混合模型中的应用。 (英语) Zbl 07455746号

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

生命是随机的,时间不是:具有窗口目标的马尔可夫决策过程。 (英语) Zbl 07649916号

Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第8条,第18页(2019年)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有(ω)-正则布尔目标的弱子对策完美平衡点的约束存在性问题。 (英语) Zbl 1524.91017号

Orlandini,Andrea(编辑)等人,第九届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2018,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)27716-29(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

随机时间自动机的组成设计。 (英语) Zbl 1475.68146号

库利科夫,亚历山大·S(编辑)等人,《计算机科学——理论与应用》。2016年6月9日至13日,在俄罗斯圣彼得堡举行的第11届国际计算机科学研讨会,CSR 2016。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9691117-130(2016年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有简单纳什均衡的多人成本博弈。 (英语) Zbl 1422.91043号

Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。7734, 59-73 (2013).
MSC公司:91A06型 68M10个
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段

软件