A formal approach to identifying the impact of noise on neural networks IT Bhatti, M Naseer, M Shafique, O Hasan Communications of the ACM 65 (11), 70-73, 2022 | 3 | 2022 |
Considering the Impact of Noise on Machine Learning Accuracy M Naseer, IT Bhatti, O Hasan, M Shafique Embedded Machine Learning for Cyber-Physical, IoT, and Edge Computing: Use …, 2023 | | 2023 |
Formal Verification of a Fully Automated Out-of-Plane Cell Injection System IT Bhatti, O Hasan 2020 21st International Symposium on Quality Electronic Design (ISQED), 111-116, 2020 | | 2020 |
Formal verification of robotic cell injection systems A Rashid, O Hasan, IT Bhatti Control Systems Design of Bio-Robotics and Bio-mechatronics with Advanced …, 2020 | | 2020 |
Formal Analysis Of A Micro-robotic Cell Injection System Using Probabilistic Model Checking IT Bhatti NUST-SEECS, 2019 | | 2019 |
DEVELOPMENT OF REMOTELY CONTROLLABLE IP BASED SURVEILLANCE CAMERA A ZAMAN, IT BHATTI, S SHIRAZ NUST-SEECS, 2010 | | 2010 |