probabilistic logics | BriefGPT

关键词probabilistic logics

搜索结果 - 1

实时和概率时态逻辑：一概述
该论文分析了用于真实时间系统的逻辑规范和验证的逻辑符号，分别比较了它们的决策性，公理化程度，表达能力和模型检查等特征。
PDF14 years ago