Analysis of timed and long-run objectives for Markov automata
scientific article; zbMATH DE number 6349736
scientific article