马尔可夫群体模型中个体奖励性质的高效检验
计算机科学中的逻辑
2015-09-30 v1 性能
系统与控制
摘要
近年来，马尔可夫群体模型分析的流体方法已被证明具有极大的实用价值。流体方法最初被开发用于根据群体计数的期望值来估计系统行为，随后通过嵌入到模型检验过程中，被扩展至对模型进行更复杂的查询。本文扩展了近期关于在马尔可夫群体模型中检验个体智能体 CSL 性质的工作，以考虑对包含奖励的性质的检验。
引用
@article{arxiv.1509.08561,
title = {Efficient Checking of Individual Rewards Properties in Markov Population Models},
author = {Luca Bortolussi and Jane Hillston},
journal= {arXiv preprint arXiv:1509.08561},
year = {2015}
}
备注
In Proceedings QAPL 2015, arXiv:1509.08169