Modeling and Verification of Symbolic Distributed Applications Through an Intelligent Monitoring Agent.
Andrea AugelloSalvatore GaglioGiuseppe Lo ReDaniele PeriPublished in: IEEE Access (2022)
Keyphrases
- multi agent systems
- multi agent
- decision making
- multiagent systems
- real time
- mobile agents
- monitoring system
- model checking
- autonomous agents
- plan execution
- multiple agents
- early warning
- agent environment
- artificial agents
- formal verification
- agent systems
- pedagogical agents
- intelligent agents
- social networks
- genetic algorithm