Hardness of equivalence checking for composed finite-state systems.

Zdenek Sawa Petr Jancar

Published in: Acta Informatica (2009)

Keyphrases

finite state
markov chain
markov decision processes
objective function
computational complexity
optimal policy
action sets