Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications.
Petr CermákAlessio LomuscioAniello MuranoPublished in: AAAI (2015)
Keyphrases
- multi agent systems
- bounded model checking
- model checking
- delay insensitive
- computational logic
- model checker
- epistemic logic
- asynchronous circuits
- normative systems
- transition systems
- agent architecture
- cooperative
- agent systems
- logic programming
- multi agent
- coalition logic
- formal language
- defeasible logic
- trust model
- search strategy
- game theory
- predicate logic
- functional requirements
- multi valued
- formal specification
- verification method
- agent technology
- belief revision
- multiagent systems