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...
| Main Authors: | , , , , , |
|---|---|
| 格式: | Article |
| 語言: | English |
| 出版: |
Open Publishing Association
2014-06-01
|
| 叢編: | Electronic Proceedings in Theoretical Computer Science |
| 在線閱讀: | http://arxiv.org/pdf/1406.2068v1 |