资源软件自动机与优化综合博弈

科琳娜Cìrstea公司

我们考虑了奇偶自动机和奇偶博弈的定量概念,旨在对资源感知行为进行建模,并研究了(内存满)策略,分别用于展示需要最少初始资源的可接受运行,以赢得具有最少初始资源的博弈。我们还展示了如何将这些策略简化为仅包含两种类型的动作:前者旨在增加资源,后者旨在满足接受条件。

在Jéróme Leroux和Jean-Francois Raskin中:第十届国际研讨会论文集游戏、自动机、逻辑和形式验证(甘道夫2019),法国波尔多,2019年9月2日至3日,理论计算机科学中的电子论文集305,第50-65页。
出版日期:2019年9月18日。

ArXived公司地点:https://dx.doi.org/10.4204/EPTCS.305.4 围巾 PDF格式
中的引用重建bibtex,XML格式HTML格式格式(近似值)。
评论和问题: eptcs@eptcs.org
对于网站问题: webmaster@eptcs.org