A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems.
Francesco BelardinelliAlessio LomuscioPublished in: JELIA (2016)
Keyphrases
- temporal epistemic
- model checking
- multi agent systems
- epistemic logic
- bounded model checking
- temporal logic
- computation tree logic
- formal verification
- desirable properties
- database
- multi agent
- high level
- game theory
- agent systems
- intelligent agents
- structural properties
- agent architecture
- learning algorithm
- data sets
- real time