Formal verification of neural agents in non-deterministic environments.
Michael E. AkintundeElena BotoevaPanagiotis KouvarosAlessio LomuscioPublished in: Auton. Agents Multi Agent Syst. (2022)
Keyphrases
- formal verification
- model checking
- dynamic environments
- multi agent systems
- multi agent
- highly dynamic
- autonomous agents
- model checker
- open systems
- multiagent systems
- automated verification
- bounded model checking
- multiple agents
- complex environments
- intelligent agents
- open environments
- adaptive behavior
- symbolic model checking
- network architecture
- multi agent environments
- neural network
- decision making
- mobile agents
- cooperative
- software agents
- artificial agents
- resource allocation
- agent model
- temporal logic
- program slicing
- working environment
- agent technology
- knowledge base
- artificial intelligence