长期平均价格 swMATH ID: 23171 软件作者： Cameron Finucane；港元景；哈达斯·克雷斯·加济特 描述： LTLMoP：语言、时间逻辑和机器人控制实验。线性时序逻辑任务规划（LTLMoP）工具包是一个软件包，旨在帮助快速开发、实施和测试高级机器人控制器。在此工具包中，结构化英语和线性时序逻辑用于编写高级反应性任务规范，然后自动转换为正确的机器人控制器，可用于驱动模拟或真实机器人。LTLMoP的模块化设计使其成为控制器合成、语义解析、运动规划和人机交互等领域研究的理想选择。 主页： https://ltlmop.github.io/ 关键词： 反应合成;分级控制;分解;游戏图;抽象;成分合成 相关软件： TuLiP公司;PESSOA公司;苏格兰;科西马;FaST机架;Python机器人;数字Py;科学Py;皮波曼;FACTEST（事实测试）;AROC公司;腹肌;GRK标签;p面;ROCS公司;PuRSUE公司;ROS公司;NuSMV公司;github;PRISM-游戏 引用于： 5文件 全部的 前5名16位作者引用 1 马尔塞洛·玛丽亚·贝尔萨尼 1 罗斯·波勒 1 樊楚楚 1 阿德里安·莱瓦 1 伊利赛·马科维奇克（Elisei Macoveiciuc） 1 鲁帕克·马朱姆达尔 1 克劳迪奥·蒙吉 1 克里斯蒂娜·米勒 1 萨扬·密特拉 1 帕特里齐奥·佩利奇奥内 1 安德烈·普拉泽 1 Reißig、Gunther 1 罗西（Matteo A.C.Rossi）。 1 安妮·凯瑟琳·施穆克 1 马蒂奥·索尔多 1 亚历山大·韦伯 2篇连载文章中引用 1 计算的形式方面 1 离散事件动态系统 在5个字段中引用 4 系统论；控制（93至XX） 3 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文