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

Bengt Jonsson Joachim Parrow

Published in: STACS (1989)

Keyphrases

finite state
markov chain
markov decision processes
context free
model checking
tree automata
action sets
optimal policy
reinforcement learning
dynamic programming
average cost
continuous time bayesian networks
machine learning
connected components
vector quantizer