Assume-Guarantee Abstraction Refinement for Probabilistic Systems

Anvesh Komuravelli Corina S. Pasareanu Edmund M. Clarke

Published in: CoRR (2012)

Keyphrases

computer vision
computer systems
building blocks
computing systems
data mining
decision making
learning environment
distributed systems
intelligent systems
knowledge based systems
retrieval systems
information theoretic
data abstraction