University of Luxembourg;
TU Wien;
Chalmers University of Gothenburg;
Chalmers University of Gothenburg, University of L'Aquila;
control engineering computing; formal specification; mobile robots; temporal logic;
机译:水下机器人的任务规范
机译:职位之间的可靠性:目标可靠,Robokeeper展示了旋转执行器为机器人提供的无与伦比的专业表现
机译:职位之间的可靠性:目标可靠,Robokeeper展示了旋转执行器为机器人提供的无与伦比的专业表现
机译:诗篇:可靠的机器人任务规范
机译:基于行为的机器人的任务计划规范语言。
机译:通过偶极子流场实现人机交互和机器人特工的共享工作空间以进行可靠的路径规划
机译:诗篇:可靠的机器人任务规范
机译:移动机器人任务规范自动任务修复机制的可用性评估