...
机译:从有时间限制的时间逻辑规范中控制嘈杂的差速驱动车辆
Division of Systems Engineering at Boston University, Boston,MA 02215, USA;
Division of Systems Engineering at Boston University, MA, USA;
Formal methods; reactive and sensor-based planning;
机译:时限时间逻辑规范对连续时间马尔可夫过程控制策略的形式综合
机译:在线性时间逻辑,事件处理语言和属性规范模式中对合规性规范进行建模:关于可理解性的受控实验
机译:具有共同安全的时间逻辑规格的自治车辆货物运输中的加固学习
机译:从有时间限制的时间逻辑规范中控制嘈杂的差速驱动车辆
机译:根据时间逻辑规范进行的车辆控制具有概率满意度。
机译:朝着组合颜色识别技术的自主水下航行器的基于图像的导航系统的设计和实现以及模糊逻辑控制器
机译:从时间限制的时间逻辑规范控制噪声差动驱动车辆