Login / Signup

Symbolic model checking for µ-calculus requires exponential time.

Alexander Moshe Rabinovich
Published in: Theor. Comput. Sci. (2000)
Keyphrases
  • symbolic model checking
  • model checking
  • partial observability
  • formal verification
  • conformant planning
  • binary decision diagrams
  • belief space
  • data mining
  • computational complexity
  • model checker