Cost vs. Time in Stochastic Games and Markov Automata.

Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis Mara Ferrer Fioriti, Holger Hermanns, Bernd Becker

Browse the full SETTA paper archive.