Scalable Forward Reachability Analysis of Multi-Agent Systems with Neural Network Controllers.
Oliver GatesMatthew NewtonKonstantinos GatsisPublished in: CoRR (2023)
Keyphrases
- reachability analysis
- multi agent systems
- neural network
- markov decision processes
- model checking
- timed automata
- incremental algorithms
- artificial neural networks
- neural network model
- reinforcement learning
- agent architecture
- multi agent
- state space
- agent systems
- back propagation
- agent technology
- control system
- coalition formation
- fault diagnosis
- game theory
- fuzzy logic
- search algorithm
- cooperative
- radial basis function
- expert systems
- video sequences