Symbolic Model Checking the Knowledge in Herbivore Protocol.
Xiangyu LuoKaile SuMing GuLijun WuJinji YangPublished in: MoChArt (2010)
Keyphrases
- model checker
- symbolic model checking
- model checking
- temporal logic
- formal verification
- formal methods
- knowledge base
- domain knowledge
- knowledge acquisition
- knowledge representation
- partial observability
- domain experts
- description language
- symbolic representation
- conformant planning
- set theory
- test suite
- solving problems
- knowledge based systems
- knowledge discovery
- expert systems
- computational complexity