Formal Verification of a Fully Automated Out-of-Plane Cell Injection System. - Iram Tariq Bhatti; Osman Hasan (ISQED, 2020)

A formal approach to identifying the impact of noise on neural networks. - Iram Tariq Bhatti; Mahum Naseer; Muhammad Shafique 001; Osman Hasan (Commun. ACM, 2022)