Formal verification of neural networks for safety-critical tasks in deep reinforcement learning.
Davide CorsiEnrico MarchesiniAlessandro FarinelliPublished in: UAI (2021)
Keyphrases
- formal verification
- safety critical
- neural network
- reinforcement learning
- model checking
- formal methods
- model checker
- safety analysis
- learning algorithm
- fault tolerant
- fuzzy logic
- symbolic model checking
- embedded systems
- real time
- partial observability
- machine learning
- temporal logic
- artificial intelligence
- agent architecture
- decision support
- learning process
- multi agent systems
- multi agent