概率有限自动机下确界可达概率的算法逼近
计算机科学中的逻辑
2010-09-21 v1 形式语言与自动机理论
摘要
给定一个概率有限自动机(PFA)、一组状态 S 和一个误差阈值 e > 0，我们的算法逼近该自动机达到 S 的下确界概率（对所有无限词量化）。我们的结果与已知结果形成对比：如果考虑上确界而非下确界，逼近问题是不可判定的。由于我们研究的是达到一组状态的概率，而不是以接受状态结束的概率，因此我们的工作更接近于模型检验而非形式语言。
引用
@article{arxiv.1009.3822,
title = {An algorithmic approximation of the infimum reachability probability for Probabilistic Finite Automata},
author = {Sergio Giro},
journal= {arXiv preprint arXiv:1009.3822},
year = {2010}
}
备注
7 pages, 2 figures