Specification and verification of reconfigurable multi-agent system architectures.
Ahmed Taki Eddine DibKamel BarkaouiZaïdi SahnounPublished in: Multiagent Grid Syst. (2016)
Keyphrases
- multi agent systems
- formal verification
- asynchronous circuits
- model checking
- formal methods
- cooperative
- protocol specification
- reconfigurable architecture
- interconnection networks
- multi agent
- formal specification
- heterogeneous computing
- low cost
- functional units
- agent technology
- multiagent systems
- general purpose
- colored petri nets
- digital signal
- intelligent agents
- hardware implementation
- functional verification
- high level
- real time
- multi objective evolutionary
- agent platform
- distributed multi agent systems
- design methodologies
- face verification
- trust model
- agent architecture
- fault tolerant
- software agents
- autonomous agents
- data sets