Sign in

Abstraction-Based Computation of Reward Measures for Markov Automata.

Bettina BraitlingLuis María Ferrer FioritiHassan HatefiRalf WimmerBernd BeckerHolger Hermanns
Published in: VMCAI (2015)
Keyphrases