New Publication: Full Paper Accepted by QRS 2023
Published:
A collaborative paper with Dr. Muhammad Abdul Basit Ur Rahim’s team, “Formal Modeling and Verification of Industrial Robotic Arm - A Case Study”, by Ilmaan Zia, Muhammad Abdul Basit Ur Rahim, Tairan Liu, and Zhangying He, 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!