Verification of Camera-Based Autonomous Systems

Habeeb, P; Deka, N; D'Souza, D; Lodaya, K; Prabhakar, P

Habeeb, P (通讯作者),Indian Inst Sci, Dept Comp Sci & Automat, Bangalore 560012, India.

IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2023; 42 (10): 3450