...
机译:地面机器人避障和导航的形式验证
Computer Science Department, Carnegie Mellon University, USA;
Computer Science Department, Carnegie Mellon University, USA,Current address: INRIA, Rennes, France;
Computer Science Department, Carnegie Mellon University, USA,Current address: Karlsruhe Institute of Technology, Germany;
Computer Science Department, Carnegie Mellon University, USA;
Provable correctness; obstacle avoidance; ground robot; navigation; hybrid systems; theorem proving;
机译:基于机器视觉技术的割草机自主导航与避障开发
机译:基于避障和导航功能的机器人智能轮椅系统
机译:基于视觉的障碍物导航与自主人形机器人解决结构化竞争问题
机译:正式验证地面机器人的导航安全
机译:在无人地面车辆上实现自主导航和避障。
机译:大型户外区域中用于导航和障碍物映射的空中地面机器人系统
机译:地面机器人避障和导航的形式验证