Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time.
Martin KotZdenek SawaPublished in: INFINITY (2004)
Keyphrases
- finite state
- equivalence relation
- markov chain
- optimal planning
- markov decision processes
- bit rate
- model checking
- computational complexity
- continuous time bayesian networks
- exact solution
- average cost
- optimal policy
- context free
- partially observable markov decision processes
- bits per pixel
- action sets
- finite state transducers
- machine learning
- compression ratio
- planning problems
- vector quantizer
- heuristic search
- compression scheme
- completely independent
- step size