卡西

此软件的关键字
zbMATH中的参考文献(参考文献 5条 )
斯沃雷·奥娃,Mária; Kwiatkowska,Marta:随机博弈的定量验证与策略综合(2016) 查特吉,克莉什南杜; 亨辛格,托马斯A。; 芭芭拉,乔布斯曼; 辛格,罗希特:概率环境下的测量和综合系统(2015) 陈韬略; 弗雷特,沃伊特ěch; 奎亚特科夫斯卡,玛尔塔; 帕克,大卫; Simaitis,Aistis:PRISM games:随机多人游戏的模型检查器(2013) 布莱切夫,彼得; 卡塞兹,弗朗克; 大卫,亚历山大; 拉森,金·古德斯兰德; 拉斯金,让·弗朗索瓦; Reynier,Pierre Alain:具有最小观测功率的控制器(应用于定时系统)(2012) 查特吉,克莉什南杜; 亨辛格,托马斯A。; 芭芭拉,乔布斯曼; 辛格,罗希特:定量合成工具(2011)