Verifying an Aircraft Collision Avoidance Neural Network with Marabou.
Cong LiuDarren D. CoferDenis OsipychevPublished in: NFM (2023)
Keyphrases
- collision avoidance
- neural network
- fuzzy neural network
- path planning
- mobile robot
- visual navigation
- dynamic environments
- back propagation
- artificial neural networks
- path finding
- neural network model
- air traffic management
- model checking
- ground vehicles
- formation control
- pattern recognition
- neural nets
- evolutionary algorithm
- genetic algorithm
- recurrent neural networks
- multilayer perceptron
- fuzzy logic
- multi robot
- fuzzy control
- reinforcement learning
- decision making
- robot motion
- feed forward
- real time
- search space