面向带有天使非确定性的概率 Kleene 代数的决策程序
形式语言与自动机理论
2025-07-16 v1 计算机科学中的逻辑
摘要
我们给出概率 Kleene 代数与天使非确定性等式理论的决策程序及其正确性证明，这一理论首次由 Ong、Ma 与 Kozen (2025) 引入。
引用
@article{arxiv.2507.10980,
title = {A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism},
author = {Shawn Ong and Dexter Kozen},
journal= {arXiv preprint arXiv:2507.10980},
year = {2025}
}