...
机译:在有障碍物的环境中验证多个移动机器人上基于可见性的属性
Formal methods for roboticsdistributed robotics systemsverification;
机译:针对未知环境中包含移动障碍物的移动机器人的新型错误类型导航算法
机译:带有运动障碍物的动态环境中基于GA的新型模糊控制器
机译:在人群中寻找路径:机器人在未知的动态环境中导航,并根据集成的环境表示法移动障碍物
机译:在多个移动机器人上基于可见性的验证
机译:基于GA的模糊控制器,适用于具有移动障碍物的动态环境中的移动机器人。
机译:使用向下看的二维LiDAR的城市环境中移动机器人的自适应障碍物检测
机译:验证基于可见性的障碍物中的多个移动机器人的特性