LTLMoP公司

LTLMoP:实验语言,时态逻辑和机器人控制。线性时序逻辑任务规划(LTLMoP)工具箱是一个软件包,旨在帮助快速开发、实现和测试高级机器人控制器。在这个工具箱中,结构化英语和线性时序逻辑用于编写高级反应性任务规范,然后自动转换为正确的机器人控制器,用于驱动模拟或真实机器人。LTLMoP的模块化设计使其成为控制器综合、语义分析、运动规划和人机交互等领域研究的理想选择。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换