Robot kinematics; Planning; Cyber-physical systems; Electrical engineering; Computer science; Vehicle dynamics;
机译:使用计数时间逻辑的多机罗多协调
机译:具有时间逻辑约束的随机环境中多主体持久性监视的近似动态规划方法
机译:时间逻辑约束下的分布式多代理持久监视
机译:可证明对数时逻辑约束的校正大量代理的协调
机译:在时间逻辑约束下的多主体持续监视。
机译:杂耍学习早期区分的协调模式对时间约束的不对称适应性
机译:当您无法完成所有内容时要做什么:具有软时间逻辑约束的时间逻辑计划