On the Verification and Validation of AI Navigation Algorithms. - Ivan Porres; Sepinoud Azimi; Sébastien Lafond; Johan Lilius; Johanna Salokannel; Mirva Salokorpi (CoRR, 2021)