Towards Verification and Validation for Increased Autonomy