MeGARA：基于菜单的马尔可夫自动机游戏抽象与抽象精化
计算机科学中的逻辑
2014-06-10 v1
摘要
马尔可夫自动机在单一模型中结合了连续时间、概率转移和非确定性。它们代表了一种重要且强大的方法，可用于建模各种复杂的现实系统。然而，此类模型往往规模庞大且难以处理，使得抽象和抽象精化变得必要。在本文中，我们提出了一种针对马尔可夫自动机的抽象与抽象精化技术，该技术基于概率自动机的基于游戏和基于菜单的抽象。初步实验表明，利用抽象技术可以显著减小模型规模。
引用
@article{arxiv.1406.2068,
title = {MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata},
author = {Bettina Braitling and Luis María Ferrer Fioriti and Hassan Hatefi and Ralf Wimmer and Bernd Becker and Holger Hermanns},
journal= {arXiv preprint arXiv:1406.2068},
year = {2014}
}
备注
In Proceedings QAPL 2014, arXiv:1406.1567