×

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

最新的 引文 关联
托马斯·亨辛格（Thomas A.Henzinger）。;尼古拉斯·马佐奇;萨拉索，N.Ege

定量安全性和活性。 （英语） Zbl 07770345号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 349-370 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Henzinger}等人，Lect。注释计算。科学。13992、349--370（2023；Zbl 07770345）
全文： 内政部 arXiv公司
伊莎贝拉·考夫曼;金·古德斯特兰·拉森;吉·斯尔巴

具有分支时间获胜条件的多权重博弈的综合。 （英语） Zbl 1503.68182号

Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12152, 46-66 (2020).
MSC公司：60年第68季度 65年第68季度 91A80
PDF格式BibTeX公司 XML格式引用
\文本{I.Kaufmann}等人，Lect。注释计算。科学。12152，46-66（2020；Zbl 1503.68182）
全文： 内政部
帕特里夏·鲍耶;勒鲁（Le Roux，Stéphane）;尤索夫·乌阿尔哈德;米凯尔·兰多尔;皮埃尔·范登霍夫

游戏中，您可以使用与竞技场无关的有限内存进行最佳游戏。 （英语） Zbl 07559480号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第24条，第22页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛P.Bouyer｝等人，LIPIcs——莱布尼茨国际会议记录。通知。171，第24条，22 p.（2020；Zbl 07559480）
全文： 内政部
阿尼埃洛·穆拉诺;萨沙·鲁宾;马丁·齐默尔曼

加权极限对策中的最优策略。 （英语） Zbl 07455744号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326114-130（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80
PDF格式BibTeX公司 XML格式引用
\textit｛A.Murano｝等人，电子。程序。西奥。计算。科学。（EPTCS）326114-130（2020；Zbl 07455744）
全文： arXiv公司 链接
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简

带状态向量加法系统的长期平均行为。 （英语） 兹比尔07649935

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第27条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。140，第27条，第16页（2019年；Zbl 07649935）
全文： 内政部 arXiv公司
维罗尼克·布鲁埃;豪特姆，昆汀;米凯尔·兰多尔;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）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简

概率语义下的定量自动机。 （英语） Zbl 1442.68086号

日志。方法计算。科学。 15，第3号，第16号论文，第45页（2019）.
MSC公司：65年第68季度 03B25号 68问题55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，日志。方法计算。科学。15，第3号，第16号论文，45页（2019年；Zbl 1442.68086）
全文： arXiv公司
勒鲁（Le Roux，Stéphane）;阿诺·保利;米凯尔·兰多尔

通过获胜条件的布尔组合扩展有限记忆确定性。 （英语） Zbl 1528.91019号

Ganguly，Sumit（编辑）等人，第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11-13日，印度艾哈迈达巴德，FSTTCS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122，第38条，第20页（2018年）。
MSC公司：91年43月 91A80
PDF格式BibTeX公司 XML格式引用
\textit{S.Le Roux}等人，LIPIcs——莱布尼茨国际程序。通知。122，第38条，第20页（2018；Zbl 1528.91019）
全文： 内政部 arXiv公司
亚历山大·韦内特

数量减少和顶点排名无限游戏。 （英语） 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公司 链接
勒鲁（Le Roux，Stéphane）

并发博弈和半随机确定性。 （英语） Zbl 1512.91023号

Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第40条，第15页（2018年）。
MSC公司：91年43月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Le Roux}，LIPIcs——莱布尼茨国际程序。通知。117，第40条，第15页（2018；Zbl 1512.91023）
全文： 内政部 arXiv公司
贾库布·米查利辛;奥托普，简

Büchi下推自动机的平均堆栈成本。 （英语） Zbl 1491.68100号

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第42条，第13页（2018年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Michaliszyn}和\textit{J.Otop}，LIPIcs——莱布尼茨国际程序。通知。93，第42条，第13页（2018年；Zbl 1491.68100）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简

双向嵌套加权自动机。 （英语） Zbl 1442.68087号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。CONCUR 2017，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第5条，第16页（2017年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。85，第5条，第16页（2017年；兹bl 1442.68087）
全文： 内政部 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）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

全部的 前3名

主字段

软件