Abstraction-Based Computation of Reward Measures for Markov Automata
| Title | Abstraction-Based Computation of Reward Measures for Markov Automata |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Braitling, B, Ferrer Fioriti, LM, Hatefi, H, Wimmer, R, Becker, B, Hermanns, H |
| Conference Name | Verification, Model Checking, and Abstract Interpretation - 16th International Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings |
| URL | http://dx.doi.org/10.1007/978-3-662-46081-8_10 |
| DOI | 10.1007/978-3-662-46081-8_10 |
Work Package:
WP1
