Robots; Trajectory; Automata; Planning; Aerospace electronics; Nonlinear dynamical systems; Linear matrix inequalities;
机译:时间逻辑规范和控制屏障功能下的多主体系统运动规划
机译:使用时间逻辑任务和空间偏好的采样的运动规划
机译:具有时间逻辑规范的基于物理的运动计划
机译:时间逻辑规范和控制屏障功能下的多主体系统运动规划
机译:用于基于线性时序逻辑的运动计划的模块化ROS软件包。
机译:在一般实践中采用预先护理计划的障碍推动者和倡议:系统的审查和关键的解释性综合
机译:基于采样的运动规划,具有时间逻辑任务和空间偏好