机译:模型检查使用实时时间逻辑RTCTL及其在真正的微控制器软件应用程序的实时性能
机译:使用连续,实时的观察和模型模拟,通过机器人采样器实现对微生物过程的自主,自适应采样
机译:基于实时并行计算模型的自主机器人运动系统的描述和设计
机译:模型检查自主机器人功能层上的实时性质
机译:移动自主机器人开发环境的比较:Player / Stage / Gazebo与Microsoft机器人开发工作室
机译:使用无序测量对非线性建模的自主移动机器人进行定位
机译:模型检查自主机器人功能层上的实时性质