线性时序逻辑(LTL)相关论文
研究了快递派送的路径规划。针对目前快递派送任务点较多,快递员不熟悉派送区域的问题,提出了一种基于线性时序逻辑(LTL)的移动端......
控制器合成是针对给定的获胜目标,在开放的实时系统环境中,自动地寻找获胜策略的过程.这个策略可以表述为一系列的符号化状态和动......
首先根据仓储物流环境的特点构建了可灵活扩展的仓储环境模型，并制定了适合仓储物流需求的机器人运动规则，使该模型能够适用于动态的......
