Temporal Logic Planning (TuLiP) Toolbox-开源

【文件属性】：

文件名称：Temporal Logic Planning (TuLiP) Toolbox-开源

文件大小：419KB

文件格式：GZ

更新时间：2024-08-08 05:58:22

开源软件

时序逻辑规划 (TuLiP) 工具箱是一组基于 Python 的代码，用于自动合成按结构正确的嵌入式控制软件。 源存储库、问题跟踪和大多数面向开发人员的工具已移至 GitHub，https://github.com/tulip-control/tulip-control/