20 citations · 39 across the 3 of their papers we have counts for
Showing cs.LOShow 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.LO2011★ 20 cited
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…