×
科琳娜·科斯特

资源软件自动机和游戏用于优化合成。 （英语） Zbl 07453076号

Leroux，Jéróme（ed.）等人，第十届游戏、自动机、逻辑和形式验证国际研讨会论文集，2019年9月2日至3日，法国波尔多，GandALF 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）30550-65（2019年）。
小结：我们考虑了奇偶自动机和奇偶博弈的定量概念，旨在建模资源软件行为，并研究了（内存填充）策略，分别用于显示需要最小初始资源量的接受运行，以赢得具有最小初始资源的博弈。我们还展示了如何将这些策略简化为仅包含两种类型的动作：前者旨在增加资源，后者旨在满足接受条件。
关于整个系列，请参见[Zbl 1436.68031号].

理学硕士：

65年第68季度 形式语言和自动机
60年第68季度 规范和验证（程序逻辑、模型检查等）
91A80型 博弈论的应用
PDF格式BibTeX公司 XML格式引用
\textit{C.Cêrstea}，电子。程序。西奥。计算。科学。（EPTCS）305、50-65（2019；Zbl 07453076）
全文： arXiv公司 链接

参考文献：

[1] A.Arnold和D.Niwiński（2001）：微积分基础。《逻辑与数学基础研究》，北荷兰·Zbl 0968.03002号
[2] P.Bouyer、U.Fahrenberg、K.G.Larsen、N.Markey和J Srba（2008）：能量约束下加权时间自动机的无限运行。F.Cassez&C.Jard主编：《时间系统的形式建模和分析》，《计算机科学讲义5215》，Springer，第33-47页，doi:10.1007/978-3-540-85778-5 4·Zbl 1171.68524号 ·doi:10.1007/978-3-540-85778-54
[3] K.Chatterjee和L.Doyen（2012）：能源平价游戏。西奥。计算。科学。458，第49-60页，doi:10.1016/j.tcs.2012.07.038·Zbl 1260.91039号 ·doi:10.1016/j.tcs.2012.07.038
[4] K.Chatterjee、T.A.Henzinger和M.Jurdzinski（2005）：平均报酬平价游戏。载：《计算机科学逻辑研讨会论文集》，20，第178-187页，doi:10.1009/LICS.2005.26·doi:10.109/LICS.2005.26
[5] C.C.Cìrstea：线性时间逻辑——一个协代数的观点。ArXiv:1612.07844·Zbl 1405.68192号
[6] C.C.Cêrstea（2014）：线性时间逻辑的协代数方法。在A.Muscholl，编辑：《软件科学和计算结构基础——第17届国际会议》，FOSSACS 2014，计算机科学8412讲稿，Springer，pp.426-440，doi:10.1007/978-3642-54830-7 28·Zbl 1405.68192号 ·doi:10.1007/978-3-642-54830-7_28
[7] C.C.Cêrstea（2017）：从分支到线性时间，协代数。芬丹。通知。150（3-4），第379-406页，doi:10.3233/FI-2017-1474·Zbl 1429.68146号 ·doi:10.3233/FI-2017-1474
[8] C.C.Cìrstea、S.Shimizu和I.Hasuo（2017）：定量线性时间逻辑的奇偶自动机。F.Bonchi和B.König，编辑：CALCO’17，Leibniz International Proceedings In Informatics（LIPIcs）72，Schloss Dagstuhl-Leibniz-Zentrum Für Informatik，第1-18页，doi:10.4230/LIPIcs。CALCO，2017年7月·Zbl 1433.68212号 ·doi:10.4230/LIPIcs。CALCO，2017年7月
[9] N.Fijalkow和M.Zimmermann（2014）：平价和街头游戏的成本。计算机科学中的逻辑方法10，第1-29页，doi:10.2168/LMCS-10（2:14）2014·Zbl 1335.68137号 ·doi:10.2168/LMCS-10（2:14）2014年
[10] E.Grädel，W.Thomas&T.Wilke，编辑（2002）：《自动化、逻辑和无限游戏：当前研究指南》。计算机科学2500讲稿，Springer，doi:10.1007/3-540-36387-4·Zbl 1011.00037号 ·doi:10.1007/3-540-36387-4
[11] B.Jacobs（2016）：Coalgebra简介。状态和观察的数学。剑桥大学出版社，doi:10.1017/CBO9781316823187·兹伯利1364.68001 ·doi:10.1017/CBO9781316823187
[12] M.Jurdziánski（2000）：解决平价游戏的小进展措施。H.Reichel&S.Tison，编辑：STACS 2000，《1770年计算机科学讲义》，Springer，第290-301页，doi:10.1007/3-540-46541-3 24·Zbl 0962.68111号 ·doi:10.1007/3-540-46541-3_24
[13] S.Schewe、A.Weinert和M.Zimmermann（2018）：加权平价游戏。D.Ghica和A.Jung，编辑：第27届EACSL计算机科学逻辑年会（CSL 2018），莱布尼茨国际信息学会议（LIPIcs）119，Schloss Dagstuhl-Leibniz-Zentrum für Informatik，第36:1-36:17页，doi:10.4230/LIPIcs。CSL.2018.36·Zbl 1509.68105号 ·doi:10.4230/LIPIcs。CSL.2018.36号文件
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。