塞维娅在线

这是SEVIA(通过ISPL分析进行SRML验证)在线。这个工具将SRML代码编译成ISPL代码并调用MCMAS验证SL公式。利用这个我们可以解决(纳什均衡)非空问题或验证手动输入的SL公式。塞维娅接受两种SL公式(在不完全召回语义中定义)和SL[1G]公式(定义见完美的回忆语义)。可以找到SL公式的语法指南在这里.

使用输入描述多代理系统/游戏的SRML代码或者:

  1. 通过上传; 你可以上传你的SRML代码文件并运行SEVIA,
  2. 通过文本区域; 您可以在指定文本区域并运行SEVIA。



运行:

  1. 选择了游戏的模型(RMG公司CGS公司),
  2. 选择首选输入法(通过上传通过文本区域),
  3. 从下拉列表中选择(非空输入SL公式),
  4. 单击“运行”开始计算的按钮。





通过文件上传输入SRML代码

选择建模:

选择要解决的问题:

在下面输入SL公式。每个公式以分号“;”结尾。


选择要上载的文本文件:

(时限:300秒)

通过文本区域输入SRML代码

选择建模:

选择要解决的问题:

在下面输入SL公式。每个公式以分号“;”结尾。




在此处插入SRML代码:


(时限:300秒)