Habeeb P

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 4

Top Topics

Face Verification

Autonomous Systems

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Habeeb P, Pavithra Prabhakar
Approximate Conformance Verification of Deep Neural Networks. NFM (2024)
Habeeb P, Nabarun Deka, Deepak D'Souza, Kamal Lodaya, Pavithra Prabhakar
Verification of Camera-Based Autonomous Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (10) (2023)
Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu
Verification of a Generative Separation Kernel. CoRR (2020)
Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu
Verification of a Generative Separation Kernel. ATVA (2020)