Public policy; Refinement; OWL; LTL; Model checking;
机译:通过近似策略改进对一般Markov决策过程进行时间逻辑控制
机译:在Event-B优化中使用线性时态逻辑的基础
机译:在Event-B优化中使用线性时态逻辑的基础
机译:基于猫头鹰和线性时间逻辑的公共政策细化方法
机译:基于图表的路径规划方法,使用线性时间逻辑具有动态障碍的路径规划
机译:基于线性时序逻辑(LTL)的智能制造系统监控
机译:基于猫头鹰和线性时间逻辑的公共政策细化方法
机译:模型检查是精细化:关于步比测试和线性时间时序逻辑