MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata
Markov automata combine continuous time, probabilistic transitions, and nondeterminism in a single model. They represent an important and powerful way to model a wide range of complex real-life systems. However, such models tend to be large and difficult to handle, making abstraction and abstraction...
| المؤلفون الرئيسيون: | , , , , , |
|---|---|
| التنسيق: | مقال |
| اللغة: | English |
| منشور في: |
Open Publishing Association
2014-06-01
|
| سلاسل: | Electronic Proceedings in Theoretical Computer Science |
| الوصول للمادة أونلاين: | http://arxiv.org/pdf/1406.2068v1 |