机译:在线性时间逻辑,事件处理语言和属性规范模式中对合规性规范进行建模:关于可理解性的受控实验
Univ Vienna Fac Comp Sci Res Grp Software Architecture Wahringerstr 29 A-1090 Vienna Austria;
Controlled experiment; Understandability; Linear temporal logic; Property specification patterns; Complex event processing; Event processing language;
机译:线性时间逻辑,属性规范模式和事件处理语言形式化的时间属性的可理解性
机译:在有限自动机中将时间逻辑集成为离散事件控制设计的基于状态的规范语言
机译:一种检查时间逻辑规范和欧米茄常规语言的闭包特性的算法方法
机译:线性时间逻辑规范下折扣奖励马尔可夫决策过程的最佳控制
机译:为基于复杂模式的规范生成线性时间逻辑公式
机译:RevBayes:使用图形模型和交互式模型规范语言的贝叶斯系统发生推理
机译:关于线性时间逻辑,属性规范模式和事件处理语言正式化的易于理解性
机译:基于学习的线性时序逻辑规范马尔可夫决策过程综合控制方法。