Robotics; Robot; Task-level programming;
机译:异构多机器人系统中时间逻辑目标的同时任务分配和计划
机译:机器人任务规划,使用乘法指数一阶线性逻辑的乘法定理报告
机译:马尔可夫逻辑网络在基于语义知识的机器人任务计划中处理不确定性方面的自动化
机译:逻辑编程在Robotized Systems任务规划中的使用
机译:从高级任务到低级运动:高维非线性混合机器人系统的运动计划。
机译:基于虚拟现实的工业机器人工作单元布局规划和编程支持系统
机译:异构多机器人系统中时间逻辑目标的同时任务分配和计划