Symbolic Planning Toolkit for Robotics

Symbolic Planning Toolkit for Robotics是一个面向机器人符号规划研究的开源工具包，为符号规划算法的开发和验证提供全面的软件支持。该工具包由国际人工智能和机器人学研究社区开发，提供了PDDL解析器、多种规划器实现、HTN规划、行为树执行等功能的统一接口。工具包支持多种领域建模语言和规划算法，提供了规划结果可视化、执行监控、异常处理等功能，兼容多种机器人平台和操作系统。该项目适用于机器人任务规划、人工智能、自主系统等领域的研究和开发，已在多个研究项目和实际应用中使用。