Verification of Intelligent Agents with ACTL for Epistemic Reasoning.
Marina BagicMarijan KunsticPublished in: CIMCA/IAWTIC (2006)
Keyphrases
- intelligent agents
- model checking
- computation tree logic
- epistemic logic
- temporal logic
- bounded model checking
- model checker
- formal verification
- multi agent systems
- formal specification
- temporal properties
- multi agent
- software agents
- agent architecture
- agent systems
- artificial agents
- intelligent systems
- building intelligent
- distributed environment
- formal methods
- modal logic
- artificial intelligence
- cooperative
- agent technology
- intelligent software agents
- distributed artificial intelligence
- mobile agents
- knowledge base
- reasoning about actions
- agent interactions
- knowledge representation