Login / Signup
Symbolic Model Checking the Knowledge of the Dining Cryptographers.
Ron van der Meyden
Kaile Su
Published in:
CSFW (2004)
Keyphrases
</>
symbolic model checking
domain knowledge
knowledge base
model checking
knowledge representation
knowledge discovery
dynamic environments
partial observability
data mining
expert systems
state space
utility function
finite state