Login / Signup

Distributed Symbolic Model Checking for µ-Calculus.

Orna GrumbergTamir HeymanAssaf Schuster
Published in: Formal Methods Syst. Des. (2005)
Keyphrases
  • symbolic model checking
  • model checking
  • partial observability
  • distributed systems
  • binary decision diagrams
  • multi agent
  • conformant planning
  • data mining
  • computational complexity
  • constraint programming