Umair Siddique
Umair Siddique
Home
Activities
Publications
SafetyOps
Contact
Vincent Aravantinos
Latest
Formal analysis of optical systems
A new approach for the verification of optical systems
Formal stability analysis of optical resonators
Higher-Order Logic Formalization of Geometrical Optics
On the formal analysis of geometrical optics in HOL
Cite
×