Evaluating the Safety of Deep Reinforcement Learning Models using Semi-Formal Verification.
Davide CorsiEnrico MarchesiniAlessandro FarinelliPublished in: CoRR (2020)
Keyphrases
- learning models
- formal verification
- model checking
- machine learning
- learning tasks
- automated verification
- model checker
- loss function
- learning algorithm
- semi supervised learning
- machine learning algorithms
- conditional random fields
- symbolic model checking
- reinforcement learning
- bounded model checking
- learning problems
- classification models
- temporal logic
- support vector
- machine learning models