Bisimilarity of processes with finite-state systems.

Petr Jancar Antonín Kucera

Published in: INFINITY (1997)

Keyphrases

finite state
markov chain
markov decision processes
learning algorithm
objective function
model checking
partially observable markov decision processes
data mining
distributed systems
sufficient conditions
optimal policy
continuous time bayesian networks