Sign in

Cost vs. time in stochastic games and Markov automata.

Hassan HatefiRalf WimmerBettina BraitlingLuis María Ferrer FioritiBernd BeckerHolger Hermanns
Published in: Formal Aspects Comput. (2017)
Keyphrases