Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic.
Francesco BelardinelliAlessio LomuscioAniello MuranoSasha RubinPublished in: IJCAI (2017)
Keyphrases
- temporal epistemic
- epistemic logic
- multi agent systems
- model checking
- bounded model checking
- temporal logic
- computation tree logic
- dynamic epistemic logic
- asynchronous circuits
- computational logic
- modal logic
- multi agent
- normative systems
- coalition logic
- cooperative
- verification method
- formal verification
- search strategy
- autonomous agents
- model checker
- classical logic
- modal operators
- logical framework
- automated reasoning
- formal methods
- agent architecture
- inference rules
- propositional dynamic logic
- software agents
- multiagent systems