Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates.

Edmund M. Clarke Orna Grumberg Muralidhar Talupur Dong Wang

Published in: CAV (2003)

Keyphrases

eliminate redundant
data sets
bayesian networks
computationally expensive
artificial intelligence
decision making
decision trees
similarity measure
learning environment
multi agent systems
expert systems
artificial neural networks
mobile robot
lightweight
cost effective