项目描述 ：
MATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)

高级语言： MATLAB

项目主页： https://sreachtools.github.io

项目地址: git://github.com/sreachtools/SReachTools.git

创建时间： 2018-06-06T15:56:53Z
项目社区：https://github.com/sreachtools/SReachTools
开源协议：GNU General Public License v3.0
下载