Using Deep Reinforcement Learning And Formal Verification in Safety Critical Systems: Strategies and Challenges.
Satyam SharmaMuhammad Abdul Basit Ur RahimShahid HussainMuhammad Rizwan AbidTairan LiuPublished in: QRS Companion (2023)
Keyphrases
- safety critical
- formal verification
- reinforcement learning
- formal methods
- safety analysis
- symbolic model checking
- fault tolerant
- embedded systems
- model checker
- model checking
- automated verification
- agent architecture
- nuclear power plant
- support systems
- distributed systems
- adaptive systems
- management system
- real time
- knowledge based systems
- open source
- expert systems
- artificial intelligence
- machine learning