Constraint-Based Invariant Inference over Predicate Abstraction.

Sumit Gulwani Saurabh Srivastava Ramarathnam Venkatesan

Published in: VMCAI (2009)

Keyphrases

high level
real time
bayesian networks
constraint satisfaction
probabilistic inference
moment invariants
inference process
search engine
decision trees
belief networks
invariant features
decision theoretic
decision theoretic planning
quasi invariant