Symbolic Model Checking the Knowledge in Herbivore Protocol (Q3003428)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Symbolic Model Checking the Knowledge in Herbivore Protocol |
scientific article |
Statements
Symbolic Model Checking the Knowledge in Herbivore Protocol (English)
0 references
27 May 2011
0 references
symbolic model checking
0 references
temporal logic of knowledge
0 references
multi-agent systems
0 references
Herbivore system
0 references
anonymity
0 references
