Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations.
Esen YelTaylor J. CarpenterCarmelo Di FrancoRadoslav IvanovYiannis KantarosInsup LeeJames WeimerNicola BezzoPublished in: IEEE Robotics Autom. Mag. (2020)
Keyphrases
- neural network
- pattern recognition
- monitoring system
- cooperative
- model checking
- plan execution
- artificial neural networks
- mission planning
- real time
- decision support
- verification method
- multilayer perceptron
- plan recognition
- back propagation
- heuristic search
- face verification
- genetic algorithm
- mixed initiative
- decision trees
- rule extraction
- ai planning
- multi layer perceptron
- self organizing maps
- training process
- learning capabilities
- goal oriented
- fuzzy systems
- multi layer
- radial basis function
- plan generation
- autonomous learning
- decision support system
- stochastic domains