nodejs prophesy 返回
项目作者： moves-rwth

项目描述 ：
Parameter Synthesis in Markov Models
高级语言： Python
项目地址: git://github.com/moves-rwth/prophesy.git
创建时间： 2017-03-30T11:58:26Z
项目社区：https://github.com/moves-rwth/prophesy
开源协议：GNU General Public License v3.0
下载


regions_few_1647599425457.pdf
regions_many_1647599425500.pdf
result_brp_16-2_0.98_quads_1647599426163.pdf
result_brp_16-2_0.98_rectangles_1647599427531.pdf
result_brp_16-2_0.9_quads_1647599428397.pdf
result_brp_16-2_0.9_rectangles_1647599429916.pdf
result_brp_16-2_0.9_rectangles_bad_1647599430384.pdf
result_crowds_3-5_0.5_quads_1647599431237.pdf
result_crowds_3-5_0.5_rectangles_1647599432571.pdf
result_crowds_3-5_0.9_quads_1647599433457.pdf
result_crowds_5-5_0.9_quads_1647599435045.pdf