Habeeb P, Deepak D'Souza, Kamal Lodaya, Pavithra Prabhakar. Interval Image Abstraction for Verification of Camera-Based Autonomous Systems. IEEE Trans. on CAD of Integrated Circuits and Systems, 43(11):4310-4321, November 2024. [doi]
@article{PDLP24,
title = {Interval Image Abstraction for Verification of Camera-Based Autonomous Systems},
author = {Habeeb P and Deepak D'Souza and Kamal Lodaya and Pavithra Prabhakar},
year = {2024},
month = {November},
doi = {10.1109/TCAD.2024.3448306},
url = {https://doi.org/10.1109/TCAD.2024.3448306},
researchr = {https://researchr.org/publication/PDLP24},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {43},
number = {11},
pages = {4310-4321},
}