Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs

Bengt Jonsson Joachim Parrow

Published in: Inf. Comput. (1993)

Keyphrases

finite state
markov chain
markov decision processes
context free
optimal policy
model checking
tree automata
data mining
data model
hidden markov models
probabilistic model
average cost
action sets
continuous time bayesian networks