Dept. of Comput. Sci., Nihon Univ., Tokyo, Japan;
autonomous vehicle; embedded system; probabilistic model checking;
机译:自主海上避碰:在具有挑战性的场景中对自主水面车辆行为的现场验证
机译:用于位置误差约束的底层自治水下车辆轨迹跟踪的反向触控主动扰动控制
机译:基于驾驶员行为的无人驾驶机器人车辆强大的转向控制,具有建模不确定性和外部干扰
机译:考虑到错误和干扰时自主机器人车辆的行为验证
机译:对无人地面车辆同质团队的监督自主控制,并应用于多自主地面机器人国际挑战赛。
机译:SAUV-生物启发的软机器人自主水下航行器
机译:基于集合的车辆行为计算,用于自动驾驶汽车在线验证
机译:机器人地质的错误相关行为和错误率