TY  - RPRT
TI  - CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems
AU  - Yojiro Harie
AU  - Yuto Ogata
AU  - Gautam Bishnu Prasad
AU  - Katsumi Wasaki
PY  - 2024
UR  - https://arxiv.org/abs/2412.08159
ID  - 2412.08159
ER  -