下载

EVE源代码

EVE也可以下载。EVE已经在Fedora和Ubuntu操作系统上进行了测试。要下载代码,请访问以下链接:GitHub上的EVE.

一些SRML代码示例

无限重复的匹配硬币爱丽丝(分别是鲍勃)拿着硬币加利福尼亚州(责任。断路器). 他们可以将硬币抛向头部(变量为真表示)或尾部(错误)。这一轮重复次数有限。爱丽丝(resp.Bob)的目标是经常不忠获胜,用LTL公式表示GF(ca<->cb)(责任。女朋友!(ca<->cb)).

无限重复匹配便士(CGS)。无限重复匹配硬币建模为并发游戏结构(CGS)。

对等网络游戏如所示【Toumi等人,2015年】在这里,我们使用LTL代替CTL目标。

基于环的互斥算法如所示[古铁雷斯等人,2017a].

互模拟示例1激励示例1(图1)呈现在[古铁雷斯等人,2017b].

互模拟示例2激励示例2(图2)呈现在[古铁雷斯等人,2017b].