Login / Signup

Liveness with (0, 1, infty)-Counter Abstraction.

Amir PnueliJessie XuLenore D. Zuck
Published in: CAV (2002)
Keyphrases
  • high level
  • data abstraction
  • decision theoretic planning
  • databases
  • data mining
  • computer vision
  • case study
  • bayesian networks
  • data model
  • state space
  • object oriented