×

找到45个文档（结果1-45）

最新的 引文 相关性
皮埃尔·奥曼

GKK算法是简单平均收益博弈中速度最快的算法。 （英语） Zbl 07615743号

库利科夫，亚历山大·S（编辑）等人，《计算机科学——理论与应用》。第17届俄罗斯国际计算机科学研讨会，CSR 2022，虚拟活动，2022年6月29日至7月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13296, 269-288 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Ohlmann}，莱克特。注释计算。科学。13296，269--288（2022；Zbl 07615743）
全文： DOI程序 arXiv公司
加尔阿姆拉姆;沙哈尔·茂兹;活塞，或;詹·奥利弗·林格特

欧米伽规则能量游戏的高效算法。 （英语） Zbl 1522.91065号

Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047, 163-181 (2021).
MSC公司：91A68型 91A43型 91A05型
PDF格式BibTeX公司 XML格式引用
\textit{G.Amram}等人，Lect。注释计算。科学。13047163-181（2021年；Zbl 1522.91065）
全文： DOI程序 链接
Dokter，Kasper公司;法哈德·阿尔巴

协议调度。 （英语） Zbl 1496.68097号

Hojjat，Hossein（编辑）等人，《软件工程基础》，第九届国际会议，FSEN 2021，虚拟活动，2021年5月19日至21日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12818, 3-17 (2021).
MSC公司：68甲19 68平方米 65年第68季度 68问题85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Dokter}和\textit{F.Arbab}，莱克特。注释计算。科学。12818，3-17（2021；Zbl 1496.68097）
全文： DOI程序 链接
van Putten，Berend Jan Christiaan;范德桑登，布拉姆;米歇尔·雷尼尔斯;杰罗恩·沃滕;拉蒙·希夫勒

部分可控制制造系统的监督合成和吞吐量优化。 （英语） Zbl 1478.93190号

离散事件动态。系统。 31，编号1，103-135（2021）.
MSC公司：93亿B50 93个B05 49N90型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛B.J.C.van Putten｝等人，离散事件Dyn。系统。31，编号1，103--135（2021；Zbl 1478.93190）
全文： DOI程序
保罗·巴尔丹;理查德·艾格特;巴巴拉·科尼格;托马索·帕多安

定点理论——颠倒。 （英语） Zbl 07410419号

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议，FOSSACS 2021，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 62-81 (2021).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，Lect。注释计算。科学。12650，62-81（2021；Zbl 07410419）
全文： DOI程序 arXiv公司
纳塔娜·菲亚尔科夫;Pawe Gawrychowskił;皮埃尔·奥曼

使用通用图的值迭代和平均回报博弈的复杂性。 （英语） Zbl 07559405号

Esparza，Javier（ed.）等人，第45届计算机科学数学基础国际研讨会，MFCS 2020，2020年8月25日至26日，捷克共和国布拉格。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。170，第34条，第15页（2020年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{N.Fijalkow}等人，LIPIcs——莱布尼茨国际程序。通知。170，第34条，第15页（2020；Zbl 07559405）
全文： DOI程序
马西莫·贝内雷切蒂;丹尼尔·德尔巴;法比奥·莫加维罗

通过准自治权求解均值对价博弈。 （英语） 兹比尔1484.91004

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12079, 289-306 (2020).
MSC公司：91A05型 91A70型
PDF格式BibTeX公司 XML格式引用
\textit{M.Benerecetti}等人，Lect。注释计算。科学。12079、289--306（2020；Zbl 1484.91004）
全文： DOI程序
维罗尼克·布鲁埃;昆廷豪特;米凯尔·兰多尔;Jean-François拉斯金

能量平均值游戏。 （英语） Zbl 07649929号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第21条，第17页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Bruyère}等人，LIPIcs——莱布尼茨国际程序。通知。140，第21条，第17页（2019；Zbl 07649929）
全文： DOI程序 arXiv公司
达尼·多夫曼;哈伊姆·卡普兰;乌里·兹威克

能量博弈和平均收益博弈的快速确定指数时间算法。 （英语） Zbl 1522.91066号

Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第114条，第14页（2019年）。
MSC公司：91A68型 91A43型 05第57页
PDF格式BibTeX公司 XML格式引用
\textit{D.Dorfman}等人，LIPIcs——莱布尼茨国际程序。通知。132，第114条，第14页（2019年；兹bl 1522.91066）
全文： DOI程序
亚历山大·韦内特

数量减少和顶点排名无限游戏。 （英语） Zbl 1524.91021号

Orlandini，Andrea（编辑）等人，第九届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2018，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）2771-15（2018）。
MSC公司：91A70型 91A68型 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Weinert}，电子。程序。西奥。计算。科学。（EPTCS）277，1--15（2018；Zbl 1524.91021）
全文： arXiv公司 链接
Neogy，S.K。;蒙达尔，普拉森吉特;阿比吉特·古普塔;德巴西什·古鲁

关于使用旋转算法求解平均收益博弈。 （英语） Zbl 1400.90282号

亚洲-太平洋。《运营杂志》。物件。 35，第5号，文章ID 1850035，26 p.（2018）.
MSC公司：90立方厘米 90C05（二氧化碳） 91A05型
PDF格式BibTeX公司 XML格式引用
\textit{S.K.Neogy}等人，亚洲太平洋。《运营杂志》。第35号决议，第5号，文章ID 1850035，26页（2018；Zbl 1400.90282）
全文： DOI程序
罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯曼

图形游戏和反应合成。 （英语） Zbl 1392.68233号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。921-962 (2018).
MSC公司：60年第68季度 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit｛R.Bloem｝等人，在：模型检查手册中。查姆：斯普林格。921-962（2018；Zbl 1392.68233）
全文： DOI程序
克里希南德·查特吉;莫妮卡·亨津格;亚历山大·斯沃齐尔

用于平均对偶游戏的更快算法。 （英语） Zbl 1441.91015号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第39条，第14页（2017年）。
MSC公司：91A43型 65年第68季度 68瓦40 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。83，第39条，第14页（2017年；Zbl 1441.91015）
全文： DOI程序 arXiv公司
帕特里夏·鲍耶;彼得·霍夫曼;尼古拉斯·马基;米凯尔·兰多尔;马丁·齐默尔曼

极限平均能量游戏。 （英语） Zbl 1392.68115号

Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-54457-0/pbk；978-3-562-54458-7/电子书）。计算机科学课堂讲稿10203，179-195（2017）。
MSC公司：68平方米 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。10203、179--195（2017；Zbl 1392.68115）
全文： DOI程序 arXiv公司
安舒尔·古普塔;斯文·舍韦;阿舒托什·特里维迪;迪帕克（Deepak），玛兰·赛·克里希纳（Maram Sai Krishna）;巴达提·库马尔

奖励Stackelberg mean-payoff游戏。 （英语） 兹比尔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）。
MSC公司：91A43型 91A06型 91A65型
PDF格式BibTeX公司 XML格式引用
\textit{A.Gupta}等人，Lect。注释计算。科学。9763，304--320（2016；Zbl 1390.91073）
全文： DOI程序 arXiv公司
马西耶·加兹达;Tim A.C.Willemse。

改进小进度措施。 （英语） Zbl 1476.68319号

Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193、158-171（2015）。
MSC公司：68瓦40 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{M.Gazda}和\textit{T.A.C.Willemse}，电子。程序。西奥。计算。科学。（EPTCS）193、158--171（2015；Zbl 1476.68319）
全文： arXiv公司 链接
帕特里夏·鲍耶;尼古拉斯·马基;米凯尔·兰多尔;Larsen，Kim G。;西蒙·劳尔森

平均能量游戏。 （英语） Zbl 1476.68024号

Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193，1-15（2015）。
MSC公司：68平方米 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，《电子》。程序。西奥。计算。科学。（EPTCS）193，1-15（2015年；兹bl 1476.68024）
全文： arXiv公司 链接
纱线维纳

无限重复交替移动游戏的复杂性。 （英语） Zbl 1336.68149号

Fomin，Fedor V.（编辑）等人，《自动化、语言和编程》。第40届国际学术讨论会，2013年ICALP，拉脱维亚里加，2013年7月8日至12日，第一部分会议记录，柏林：施普林格出版社（ISBN 978-3-642-39205-4/pbk）。计算机科学课堂讲稿7965，816-827（2013）。
MSC公司：65年第68季度 2017年第68季度 68周25 91A18号 91A20型 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Velner}，莱克特。注释计算。科学。7965116-827（2013年；兹bl 1336.68149）
全文： DOI程序 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件