WP1:Verification, Synthesis, and Autonomy