Modelling and verification of reconfigurable multi-agent systems.
Yehia Abd AlrahmanNir PitermanPublished in: Auton. Agents Multi Agent Syst. (2021)
Keyphrases
- multi agent systems
- multi agent
- low cost
- agent systems
- formal verification
- agent architecture
- autonomous agents
- model checking
- intelligent agents
- distributed problem solving
- multi agent reinforcement learning
- verification method
- agent platform
- multi objective evolutionary
- signature verification
- reconfigurable architecture
- face verification
- hardware implementation
- game theory
- software agents
- complex systems
- information systems
- coalition formation
- database
- field programmable gate array
- agent oriented
- general purpose
- asynchronous circuits
- evolutionary algorithm
- cooperative
- computational logic
- case study
- real time