Abstraction-Based Computation of Reward Measures for Markov Automata. Braitling, B., Fioriti, L. M. F., Hatefi, H., Wimmer, R., Becker, B., & Hermanns, H. In D'Souza, D., Lal, A., & Larsen, K. G., editors, Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings, volume 8931, of Lecture Notes in Computer Science, pages 172–189, 2015. Springer.
doi  bibtex   
	series = {Lecture {Notes} in {Computer} {Science}},
	title = {Abstraction-{Based} {Computation} of {Reward} {Measures} for {Markov} {Automata}},
	volume = {8931},
	isbn = {978-3-662-46080-1},
	doi = {10.1007/978-3-662-46081-8_10},
	booktitle = {Verification, {Model} {Checking}, and {Abstract} {Interpretation} - 16th {International} {Conference}, {VMCAI} 2015, {Mumbai}, {India}, {January} 12-14, 2015. {Proceedings}},
	publisher = {Springer},
	author = {Braitling, Bettina and Fioriti, Luis María Ferrer and Hatefi, Hassan and Wimmer, Ralf and Becker, Bernd and Hermanns, Holger},
	editor = {D'Souza, Deepak and Lal, Akash and Larsen, Kim Guldstrand},
	year = {2015},
	pages = {172--189},

Downloads: 0