TY - RPRT TI - On the Verification and Validation of AI Navigation Algorithms AU - Ivan Porres AU - Sepinoud Azimi AU - Sébastien Lafond AU - Johan Lilius AU - Johanna Salokannel AU - Mirva Salokorpi PY - 2021 UR - https://arxiv.org/abs/2101.06091 ID - 2101.06091 ER -