Publication

[HatefiWBFBH17] Cost vs. time in stochastic games and Markov automata Hatefi, H.; Wimmer, R.; Braitling, B.; Fioriti, L. M. F.; Becker, B. and Hermanns, H. In Formal Aspects Comput., 29: 629-649, 2017. doi.. 
Downloads: bibURL: https://doi.org/10.1007/s00165-016-0411-1