关于布尔与参数化模态迁移系统的精化
计算机科学中的逻辑
2013-04-22 v1
摘要
我们考虑模态迁移系统 (MTS) 的扩展，即布尔 MTS 和参数化 MTS，并研究这两类系统上的精化问题。首先，我们将这两类系统上的模态精化问题归约为可由 QBF 求解器解决的问题，并提供实验结果表明我们的技术具有良好的可扩展性。其次，我们扩展了 MTS 的彻底精化算法，相较于通过归约到先前研究过的问题的方法，提供了更优的复杂度。最后，我们研究了这两类系统上模态精化与彻底精化之间的关系，并展示了如何通过模态精化来近似彻底精化。
引用
@article{arxiv.1304.5278,
title = {On Refinements of Boolean and Parametric Modal Transition Systems},
author = {Jan Křetínský and Salomon Sickert},
journal= {arXiv preprint arXiv:1304.5278},
year = {2013}
}