Bounded and Unbounded Verification of RNN-Based Agents in Non-deterministic Environments.
Mehran HosseiniAlessio LomuscioPublished in: AAMAS (2023)
Keyphrases
- dynamic environments
- multi agent systems
- highly dynamic
- complex environments
- recurrent neural networks
- multi agent
- multiagent systems
- intelligent agents
- multiple agents
- multi agent environments
- software agents
- autonomous agents
- model checking
- cooperative
- nearest neighbor
- artificial agents
- open environments
- open systems
- decision making
- face verification
- agent systems
- coalition formation
- interacting agents
- agent based simulation
- uncertain environments
- reasoning process
- mobile agents
- social welfare
- mechanism design
- epistemic logic
- working environment
- reinforcement learning
- artificial intelligence
- real world
- multi agent planning
- neural network