Assertion Checking Using Dynamic Inference.

Anand Yeolekar Divyesh Unadkat

Published in: Haifa Verification Conference (2013)

Keyphrases

three dimensional
dynamic environments
real time
databases
machine learning
decision making
knowledge base
multiresolution
markov chain
belief networks
bayesian inference
probabilistic reasoning
inference mechanism