你在这里： 主页 › 工具 › 混合动力系统 › 方向优化框架

SpaceEx的方向细化算法

在本页上，您可以找到论文的可重复性包，“利用支持功能消除可达性中的虚假转换”，HSCC，2015年。

可以下载该包在这里.

该包包含我们修改过的SpaceEx二进制文件和一些基准测试。为了运行我们修改后的SpaceEx二进制文件，您需要一个64位Linux操作系统。