DMCA
Symbolic Model Checking the Knowledge of the Dining Cryptographers (2002)
by
Ron Van Der Meyden
,
Kaile Su
| Citations: | 60 - 14 self |
BibTeX
@MISC{Meyden02symbolicmodel,
author = {Ron Van Der Meyden and Kaile Su},
title = {Symbolic Model Checking the Knowledge of the Dining Cryptographers},
year = {2002}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for a single agent operating with synchronous perfect recall in an environment of which it has incomplete knowledge. As an illustration of the utility...
