CTL 算子的模型检测指纹
计算机科学中的逻辑
2015-07-21 v2 计算复杂性
摘要
本研究旨在理解 CTL 算子固有的表达能力。我们研究了具有一个 CTL 算子和任意布尔算子的所有 CTL 片段的模型检测复杂性。这为我们提供了每个 CTL 算子的指纹。指纹之间的比较产生了一个算子层级，该层级反映了它们在模型检测方面的强度。
引用
@article{arxiv.1504.04708,
title = {The model checking fingerprints of CTL operators},
author = {Andreas Krebs and Arne Meier and Martin Mundhenk},
journal= {arXiv preprint arXiv:1504.04708},
year = {2015}
}