Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions.
Kyle D. JulianShivam SharmaJean-Baptiste JeanninMykel J. KochenderferPublished in: CoRR (2019)
Keyphrases
- collision avoidance
- neural network
- path planning
- fuzzy neural network
- mobile robot
- dynamic environments
- visual navigation
- pattern recognition
- path finding
- linear functions
- air traffic management
- back propagation
- artificial neural networks
- genetic algorithm
- recurrent neural networks
- fuzzy logic
- fuzzy systems
- feed forward
- model selection
- robot motion
- formation control
- ground vehicles
- artificial intelligence