Publication [HatefiWBBH17] Cost vs. time in stochastic games and Markov automata Hatefi, H.; Wimmer, R.; Braitling, B.; Becker, B. and Hermanns, H. In Formal Asp. Comput., 29: 629-649, 2017.Downloads: bib
