Time in AI; Temporal representation and constraints; Timed automata; Planning; Scheduling; Model checking; Validation;
机译:将OWL-S过程模型映射到定时自动机:一种检查定时时间逻辑的模型检查方法
机译:使用交替有限自动机对具有时间序列约束的度量时间逻辑进行在线监视
机译:使用定时自动机进行先验警告和计划定时声明式过程模型
机译:将时间规划约束映射到定时自动机
机译:一种用于森林管理规划中时空尺度整合的协同进化元胞自动机。
机译:小鼠巨细胞病毒转录的时间调控和感染后立即早期合成的病毒RNA的作图。
机译:将时间规划约束映射到定时自动机