reactive-motion-planning-synthesis
所属分类：自动驾驶
开发工具：Slash
文件大小：38KB
下载次数：0
上传日期：2022-02-04 23:12:42
上 传 者：
sh-1993
说明： 使用SyGuS来合成反作用运动规划器。
(Using SyGuS to synthesize reactive motion planners.)
文件列表:
LICENSE (1318, 2022-02-05)
benchmarks (0, 2022-02-05)
benchmarks\benchmarkSettings.txt (1898, 2022-02-05)
benchmarks\motionPlanningWithLetDepth1Steps3.sl (9097, 2022-02-05)
benchmarks\motionPlanningWithLetDepth1Steps7.sl (10217, 2022-02-05)
benchmarks\motionPlanningWithLetDepth4Steps3.sl (9097, 2022-02-05)
benchmarks\motionPlanningWithLetDepth4Steps7.sl (10217, 2022-02-05)
benchmarks\motionPlanningWithLetDepth5Steps3.sl (9097, 2022-02-05)
benchmarks\motionPlanningWithLetDepth5Steps7.sl (10217, 2022-02-05)
benchmarks\motionPlanningWithoutLetDepth1Steps3.sl (9342, 2022-02-05)
benchmarks\motionPlanningWithoutLetDepth1Steps7.sl (22110, 2022-02-05)
benchmarks\motionPlanningWithoutLetDepth4Steps3.sl (9342, 2022-02-05)
benchmarks\motionPlanningWithoutLetDepth4Steps7.sl (22110, 2022-02-05)
benchmarks\motionPlanningWithoutLetDepth5Steps3.sl (9342, 2022-02-05)
benchmarks\motionPlanningWithoutLetDepth5Steps7.sl (22110, 2022-02-05)
data (0, 2022-02-05)
data\depth_final.html (3511, 2022-02-05)
data\differentSolvers_final.html (2736, 2022-02-05)
data\dimensions_final.html (3733, 2022-02-05)
data\obstacles_final.html (4189, 2022-02-05)
data\steps_final.html (3653, 2022-02-05)
src (0, 2022-02-05)
src\generateConstraints.py (2158, 2022-02-05)
src\generateConstraintsLetAvoiding.py (2371, 2022-02-05)
src\generateConstraintsSingleArg.py (13856, 2022-02-05)
src\generateConstraintsUsingLet.py (14881, 2022-02-05)
src\runBenchmarks.sh (507, 2022-02-05)
近期下载者：
相关文件：
收藏者：