ab:几何图形和ut:ORMS 搜索在描述中带有单词"geometry"并且具有关键字ORMS(Oberwolfach数学软件注册表)的软件包.运算符"&"是默认值,可以省略.
抄送:13 | 14 搜索属于MSC第13节和第14节的文章引用的软件包.
GAP au:艾克 在"any"索引(也包括依赖项)中按软件作者搜索术语.
 搜索用Java编程的软件包,其描述包含"R"
说明: 在并发博弈中自动验证纳什均衡的工具.反应式模块是一种用于并发和多智能体系统的高级规范语言,用于许多实际的模型检查工具中.反应性模块博弈是反应性模块的博弈论扩展,它假设系统中的并发代理以策略性的方式行动,试图满足代表其个人目标的时序逻辑公式.反应模块博弈的基本分析概念是纳什均衡.本文描述了一个工具,通过它我们可以自动验证反应模块博弈的纳什均衡策略.我们的工具以反应式模块语言指定的系统,玩家目标的表示(以CTL公式表示)和玩家策略的表示作为输入;然后检查这些策略是否形成作为输入传递的反应模块博弈的纳什均衡.该工具广泛使用了传统的时序逻辑可满足性和模型检查技术.我们首先概述了支持该工具的理论基础,简要描述了它的结构和实现,最后给出了一个使用该工具分析的实例.
1个出版物描述软件,包括1个出版物在zbMATH
在并发博弈中自动验证纳什均衡的工具.8 博弈论,经济学,金融学和其他社会和行为科学(91-XX)