20 citations · 53 across the 9 of their papers we have counts for
1 paper · 2 filters
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…