MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata
| Title | MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Braitling, B, Ferrer Fioriti, LM, Hatefi, H, Wimmer, R, Becker, B, Hermanns, H |
| Conference Name | Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2014, Grenoble, France, 12-13 April 2014. |
| URL | http://dx.doi.org/10.4204/EPTCS.154.4 |
| DOI | 10.4204/EPTCS.154.4 |
Work Package:
WP1
