17]) or even hybrid models (HyTech [ref. ... Since the verification has to be performed on- board and during the operation of the autonomous system, this may put very tight time and ... The cost for diagnosing and repairing faults grows exponentially as the system is developed: the division bug in early Pentium processors, anbsp;...
|Title||:||Verification and validation of autonomy software at NASA|
|Author||:||Charles Pecheur, Ames Research Center, United States. National Aeronautics and Space Administration|