Modelling and Verification of Reconfigurable Multi-Agent Systems.
Yehia Abd AlrahmanNir PitermanPublished in: CoRR (2021)
Keyphrases
- multi agent systems
- multi agent
- low cost
- agent systems
- model checking
- game theory
- cooperative
- intelligent agents
- reconfigurable architecture
- autonomous agents
- software agents
- information systems
- bounded model checking
- hardware implementation
- agent architecture
- verification method
- general purpose
- multi agent reinforcement learning
- data sets
- agent oriented
- face verification
- database
- functional verification
- digital signal
- agent based modeling
- single agent
- agent technology
- temporal logic
- face recognition
- complex systems
- control system