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

Amir Pnueli Jessie Xu Lenore 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