Satyam Sharma, Muhammad Abdul Basit Ur Rahim, Shahid Hussain, Muhammad Rizwan Abid, Tairan Liu. Using Deep Reinforcement Learning And Formal Verification in Safety Critical Systems: Strategies and Challenges. In 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023 Companion, Chiang Mai, Thailand, October 22-26, 2023. pages 834-842, IEEE, 2023. [doi]
Abstract is missing.