Bisimulation equivalence relation and logic preservation for continue time Markov decision process

Home>Articles>Bisimulation equivalence relation and logic preservation for continue time Markov decision process

HUANG Zhen-jin

LU Yang

YANG Juan

WANG Zhi-wen

Keywords：Markov chainsMarkov decision processbisimulation equivalence relationlogic preservation

Publication Date：2016-01-01

Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)

Pages：8( 1031-1038 )

PKUISTICEI

ISSN：1000-8152

Year, Vol.(Issue)：2016,33(8)