策略引擎 LGG 返回
项目作者： mforets

项目描述 ：
A reachability analysis algorithm for linear non-deterministic systems, implemented in SageMath.
高级语言： Jupyter Notebook
项目地址: git://github.com/mforets/LGG.git
创建时间： 2016-07-20T13:22:33Z
项目社区：https://github.com/mforets/LGG
开源协议：GNU General Public License v3.0
下载