Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?

Rayna Dimitrova Andreas Podelski

Published in: VMCAI (2008)

Keyphrases

decision making
decision rules
high level
decision makers
influence diagrams
decision model
metadata
multimedia
web services
bayesian networks
rough sets
decision process
decision theory