-
J.Gutierrez、M.Najib、G.Perelli和M.Wooldridge。 自动时间均衡分析:多层游戏的验证与合成 .英寸 人工智能 , 2020. PDF格式 -
J.Gutierrez、M.Najib、G.Perelli和M.Wooldridge。 EVE:时间均衡分析工具 .英寸 第十六届自动验证和分析技术国际研讨会会议记录(ATVA-2018) 2018年10月,洛杉矶。 PDF格式
费多拉 Ubuntu公司
-
蟒蛇3.x -
OPAM公司( https://opam.ocaml.org/doc/Install.html )+OCaml版本4.03.0>=和<=4.07.0( https://ocaml.org/docs/install.html ). 查看OCaml版本 ocaml—版本 . 您可能需要升级OCaml: 运行 opam交换机列表 ,并切换到4.03.0>=和<=4.07.0之间的可用版本。 如果在4.03.0>=和<=4.07.0之间没有OCaml版本,请运行 opam交换机创建4.07.0
初始化OPAM(连同OCaml): echo“y”|opam初始化 eval `opam配置环境`
-
开罗( https://cairographics.org/下载/ )或Pycairo( https://pycairo.readthedocs.io/en/latest/index.html ) -
IGraph 0.7或更高版本( http://igraph.org/python/ )
确保已安装所有必备组件。 进入eve-py文件夹 运行shell脚本 ./config.sh文件 (您可能需要运行 chmod+x配置.sh ) 在运行config.sh之前,确保OCaml的版本为4.03.0>=和4.07.0
-
用法: 从文件夹内部 eve-py/src版本 执行以下命令: $python main.py[问题][路径/文件名][选项] -
问题列表: 一 求解A-Nash的参数 电子 求解E-Nash的参数 n个 用于解决非空的参数 -
可选参数列表: -d日 绘制结构的选项 -v(v) 在详细模式下执行的选项 -
例子: $python main.py a/ 示例/a-nash1-d 解决A-Nash问题并绘制结构。 图纸将保存在当前(src)文件夹中 字符串.png .
转到文件夹 eve-py/src/实验 ,共有8个脚本(您可能需要运行 chmod+x<脚本文件名.sh> 运行这些脚本): bisim _ _空.sh bisim_none_emptines.sh格式 闲聊_协议_空置.sh gossip_protocol_enash.sh公司 八卦_协议_协议.sh 复制控件空项.sh 复制控件名称.sh replica_control_anash.sh
使用以下命令执行脚本“temperation_name”.sh ./实验名称.sh 8 这将运行实验“temperation_name”,直到8个步骤。 实验结果报告在生成的文件中 exetime_实验名称.txt 用分号分隔以下各个值: 解析器性能(毫秒) 施工性能(ms) PGSolver性能(毫秒) 非空/E-Nash/A-Nash性能(毫秒) 平价游戏状态总数 奇偶博弈边的总数 序列奇偶博弈状态的最大总数 序列奇偶对策边的最大总数 总时间性能(ms)