Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis MarĂa Ferrer Fioriti, Holger Hermanns, Bernd Becker. Cost vs. Time in Stochastic Games and Markov Automata. In Xuandong Li, Zhiming Liu 0001, Wang Yi, editors, Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Volume 9409 of Lecture Notes in Computer Science, pages 19-34, Springer, 2015. [doi]
Abstract is missing.