Guide for Verification of Autonomous Systems