Habeeb P

According to our database, Habeeb P authored at least 5 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Approximate Conformance Checking for Closed-Loop Systems With Neural Network Controllers.

Habeeb P, Lipsy Gupta, Pavithra Prabhakar

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

Interval Image Abstraction for Verification of Camera-Based Autonomous Systems.

Habeeb P, Deepak D'Souza, Kamal Lodaya, Pavithra Prabhakar

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

Approximate Conformance Verification of Deep Neural Networks.

Habeeb P, Pavithra Prabhakar

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023

Verification of Camera-Based Autonomous Systems.

Habeeb P, Nabarun Deka, Deepak D'Souza, Kamal Lodaya, Pavithra Prabhakar

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., October, 2023

2020

Verification of a Generative Separation Kernel.

Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu

Proceedings of the Automated Technology for Verification and Analysis, 2020