C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable.
Hongfei Fu
Published in:
APLAS (2009)
Keyphrases
</>
finite state
markov chain
distributed systems
model checking
optimal policy
action sets
information retrieval
objective function
computational complexity
markov decision processes