20 citations · 39 across the 3 of their papers we have counts for
3 papers
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…
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…
Bisimulations Meet PCTL Equivalences for Probabilistic Automata
Lei Song, Lijun Zhang, Jens Chr. Godskesen +1
Probabilistic automata (PAs) have been successfully applied in formal verification of concurrent and stochastic systems. Efficient model checking algorithms have been studied, wher…