A Systematic Digital Engineering Approach to Verification & Validation of Autonomous Ground Vehicles in Off-Road Environments. - Tanmay Vilas Samak; Chinmay Vilas Samak; Julia Brault; Cori Harber; Kirsten McCane; Jonathon M. Smereka; Mark J. Brudnak; David J. Gorsich; Venkat N. Krovi (CoRR, 2025)