Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems.
Riccardo De MasellisValentin GorankoPublished in: CoRR (2019)
Keyphrases
- multi agent systems
- formal verification
- high level
- asynchronous circuits
- dynamic environments
- genetic algorithm
- web services
- open environments
- knowledge representation
- model checking
- autonomous agents
- agent technology
- high level declarative
- databases
- formal methods
- game theory
- software agents
- intelligent agents
- cooperative
- image sequences
- case study
- information systems