Apr, 2022

针对MTL约束控制Golog程序

TL;DR本文提出利用MTL公式将低级别平台操作和高层级程序同时执行来简化机器人控制,并通过时序自动机控制器综合方法进行控制。