×

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

具有近似能量平价目标的简单随机博弈是NP和conp。 (英语) Zbl 07410437号

Kiefer,Stefan(编辑)等人,《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021,作为欧洲软件理论与实践联合会议ETAPS 2021的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12650, 427-447 (2021).
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用

奖励Stackelberg mean-payoff游戏。 (英语) Zbl 1390.91073号

De Nicola,Rocco(编辑)等人,《软件工程与形式化方法》。2016年7月4日至8日,作为2016年STAF的一部分,在奥地利维也纳举行了2016年SEFM第14届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-41590-1/pbk;978-3-316-41591-8/电子书)。计算机科学课堂讲稿9763304-320(2016)。
PDF格式BibTeX公司 XML格式引用

确定Büchi自动机的更严格界限。 (英语) Zbl 1234.68239号

de Alfaro,Luca(编辑),软件科学和计算结构基础。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009,该会议是欧洲软件理论与实践联合会议ETAPS 2009的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00595-4/pbk)。计算机科学讲座笔记5504167-181(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段

软件