Katsumi Wasaki

CodoMo streamlines model checking, ensuring safe drone operations through efficient software verification.

Yojiro Harie, Yuto Ogata, Gautam Bishnu Prasad

Mar 19, 2025 ― 6 min read