New Publication: Full Paper Accepted by QRS 2023
Published:
A collaborative paper with Dr. Muhammad Abdul Basit Ur Rahim’s team, “Using Deep Reinforcement Learning And Formal Verification in Safety Critical Systems: Strategies and Challenges”, by Satyam Sharma, Muhammad Abdul Basit Ur Rahim, Shahid Hussain, Muhammad Rizwan Abid, and Tairan Liu, has been accepted by the IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS 2023). The team will present the paper in Chiang Mai, Thailand, October 2023.
Congratulations to the team!