Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers.
Alexei KopylovStefan MitschAleksey NoginMichael WarrenPublished in: FM (2021)
Keyphrases
- neural network
- autonomous vehicles
- neural network model
- control system
- reinforcement learning
- self organizing maps
- neural network is trained
- robot navigation
- back propagation
- hybrid systems
- path planning
- pattern recognition
- feed forward
- associative memory
- fault diagnosis
- indoor environments
- multi layer
- neural nets
- fuzzy artmap
- fuzzy logic
- auto associative
- learning vector quantization
- safety critical
- bp neural network
- navigation systems
- autonomous navigation
- obstacle avoidance
- network architecture
- incremental learning
- artificial neural networks
- expert systems
- genetic algorithm