第二阶HyperLTL片段的复杂性
计算机科学中的逻辑
2025-09-17 v2
摘要
我们确定了HyperLTL多个片段的满足性、有限状态满足性和模型检查的复杂性；它们都处于分析层次之内且超越了。
引用
@article{arxiv.2501.19046,
title = {The Complexity of Fragments of Second-Order HyperLTL},
author = {Gaëtan Regaud and Martin Zimmermann},
journal= {arXiv preprint arXiv:2501.19046},
year = {2025}
}
备注
arXiv admin note: text overlap with arXiv:2311.15675