@misc{indiciaeddec3731fd81,
  title = {CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems},
  author = {Yojiro Harie and Yuto Ogata and Gautam Bishnu Prasad and Katsumi Wasaki},
  year = {2024},
  url = {https://arxiv.org/abs/2412.08159},
  note = {Source identifier: 2412.08159}
}