...
机译:合成高级机器人控制的抽象和执行时序语义
Department of Computing and Mathematical Sciences, California Institute of Technology, Pasadena, CA, USA;
Formal methods; high-level behaviors; temporal logic synthesis;
机译:使用高级抽象的现代应用程序的语义感知自动并行化
机译:使用高级抽象的现代应用程序的语义感知自动并行化
机译:多峰估计和潜在语义知识的强大执行机器人指令
机译:诊断使得成功执行高级机器人控制程序的差异
机译:高级机器人控制中的主题:集成计划和反应性,以及多机器人协调。
机译:评估数据抽象助手一种用于系统审查期间数据抽象的新型软件应用程序:随机对照试验的方案
机译:通过任务执行自动机对自主移动机器人进行顶层控制的递归目标细化和迭代任务抽象-一个UUV示例”