Deciding Bisimulation-Like Equivalences with Finite-State Processes.

Petr Jancar Antonín Kucera Richard Mayr

Published in: ICALP (1998)

Keyphrases

finite state
markov chain
markov decision processes
model checking
connected components
optimal policy
process model
average cost
state space
least squares
stochastic processes
partially observable markov decision processes
continuous time bayesian networks
vector quantizer
tree automata
transition systems