Scalable Forward Reachability Analysis of Multi-Agent Systems with Neural Network Controllers.
Oliver GatesMatthew NewtonKonstantinos GatsisPublished in: CDC (2023)
Keyphrases
- reachability analysis
- neural network
- multi agent systems
- model checking
- markov decision processes
- timed automata
- incremental algorithms
- state space
- multi agent
- game theory
- control system
- artificial neural networks
- back propagation
- neural network model
- agent systems
- reinforcement learning
- coalition formation
- agent technology
- cooperative
- fuzzy logic
- agent architecture
- control law
- temporal reasoning
- control strategy
- sufficient conditions