Login / Signup

Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time.

Antonín KuceraRichard Mayr
Published in: Theor. Comput. Sci. (2002)
Keyphrases
  • exact solution
  • finite state
  • markov chain
  • model checking
  • distributed systems
  • markov decision processes
  • optimal policy
  • average cost
  • state space
  • linear programming