未知马尔可夫链中 ω-正则性质的在线监控
形式语言与自动机理论
2022-07-21 v1
摘要
我们研究 -正则性质的运行时监控。我们考虑一个简单设定：一个未知有限状态马尔可夫链 的一条运行被针对一个固定但任意的 -正则规范 进行监控。监控的目的是持续中止那些“不太可能”满足规范的运行，直到 执行出一条正确的运行。我们为重置动作设计控制器，其（在假设 具有正概率的前提下）以概率 1 满足如下性质：重置次数为有限，且 在最后一次重置后执行的运行满足 。
引用
@article{arxiv.2010.08347,
title = {Online Monitoring $\omega$-Regular Properties in Unknown Markov Chains},
author = {Javier Esparza and Stefan Kiefer and Jan Kretinsky and Maximilian Weininger},
journal= {arXiv preprint arXiv:2010.08347},
year = {2022}
}