Verification and Validation for Assured Autonomy