A Comprehensive Approach to On-Board Autonomy Verification and Validation.

Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev

Browse the full IJCAI paper archive.