Autonomy and Verification Lab