Conference Papers, Journal Articles, and other publications written by members of the Autonomy and Verification Network.