Automata; Planning; Clocks; Model checking; Time factors;
机译:原型验证系统中度量间隔时间逻辑公式的定时自动机
机译:将OWL-S过程模型映射到定时自动机:一种检查定时时间逻辑的模型检查方法
机译:使用交替有限自动机对具有时间序列约束的度量时间逻辑进行在线监视
机译:使用度量间隔时间逻辑的运动规划的定时自动机方法
机译:用于基于线性时序逻辑的运动计划的模块化ROS软件包。
机译:Covid-19流行病的控制策略抗疫苗盾牌免疫检疫:公制时间逻辑方法
机译:使用度量区间进行运动规划的定时自动机方法 时间逻辑
机译:关于多状态自动机时间区间逻辑约束的实时系统的推理