Login / Signup

On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address.

Axel LegayPierre Wolper
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
  • symbolic model checking
  • model checking
  • formal verification
  • model checker
  • partial observability
  • conformant planning
  • temporal logic
  • bayesian networks
  • search space
  • symbolic representation