20 citations · 53 across the 9 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012
Bisimulations and Logical Characterizations on Continuous-time Markov Decision Processes
Lei Song, Lijun Zhang, Jens Chr. Godskesen
In this paper we study strong and weak bisimulation equivalences for continuous-time Markov decision processes (CTMDPs) and the logical characterizations of these relations with re…
cs.FL2012★ 19 cited
Late Weak Bisimulation for Markov Automata
Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns +2
Weak bisimilarity is a distribution-based equivalence notion for Markov automata. It has gained some popularity as the coarsest reasonable behavioural equivalence on Markov automat…