Formal Verification of Neural Agents in Non-deterministic Environments.
Michael E. AkintundeElena BotoevaPanagiotis KouvarosAlessio LomuscioPublished in: AAMAS (2020)
Keyphrases
- formal verification
- model checking
- dynamic environments
- multi agent systems
- highly dynamic
- multi agent
- multiagent systems
- cooperative
- autonomous agents
- complex environments
- model checker
- open systems
- multi agent environments
- adaptive behavior
- neural network
- symbolic model checking
- program slicing
- open environments
- bounded model checking
- resource allocation
- intelligent agents
- automated verification
- decision making
- multiple agents
- coalition formation
- network architecture
- software agents
- single agent
- knowledge base
- agent model
- agent technology
- associative memory
- expert systems
- autonomous entities