Logic-based specification and verification of homogeneous dynamic multi-agent systems.
Riccardo De MasellisValentin GorankoPublished in: Auton. Agents Multi Agent Syst. (2020)
Keyphrases
- multi agent systems
- formal verification
- high level declarative
- asynchronous circuits
- high level
- dynamic environments
- multi agent
- software agents
- user defined
- agent systems
- specification language
- agent technology
- autonomous agents
- knowledge representation
- reinforcement learning
- game theory
- genetic algorithm
- intelligent agents
- website
- open environments
- artificial intelligence