SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication.
Warda El KholyJamal BentaharMohamed El-MenshawyHongyang QuRachida DssouliPublished in: Fundam. Informaticae (2017)
Keyphrases
- agent communication
- model checker
- model checking
- formal methods
- formal verification
- multi agent
- description language
- binary decision diagrams
- multi agent systems
- temporal logic
- formal specification
- intelligent systems
- test suite
- agent architecture
- set theory
- case study
- ai planning
- artificial intelligence
- modal logic
- multiagent systems
- test cases
- np hard
- expert systems
- high level