• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

An O(m log n) algorithm for branching bisimilarity on labelled transition systems.

David N. JansenJan Friso GrooteJeroen J. A. KeirenAnton Wijs
Published in: TACAS (2) (2020)
Keyphrases
  • learning algorithm
  • optimal solution
  • computational complexity
  • np hard
  • dynamic programming
  • worst case
  • reinforcement learning
  • hidden markov models
  • sufficient conditions