卡西

定量合成工具我们介绍这个工具,定量合成工具。Quasy采用定性和定量规范,并自动构建一个满足定性规范并优化定量规范的系统(如果存在这样的系统)。用户可以选择满足并优化规范的系统(a)在所有可能的环境行为下,或(b)在以概率分布形式给出的可能输入序列下的最可能环境行为下。通过将两人博弈和马尔可夫决策过程(MDPs)的实例化简,类赛解决了这两个定量综合问题。卡西也可以被视为定量博弈的解决方案。最值得注意的是,它可以解决两个玩家的字典式平均收益博弈,具有平均收益目标的mdp和具有平均收益平价目标的遍历mdp。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换