TY - RPRT TI - A Systematic Digital Engineering Approach to Verification & Validation of Autonomous Ground Vehicles in Off-Road Environments AU - Tanmay Vilas Samak AU - Chinmay Vilas Samak AU - Julia Brault AU - Cori Harber AU - Kirsten McCane AU - Jonathon Smereka AU - Mark Brudnak AU - David Gorsich AU - Venkat Krovi PY - 2025 DO - 10.1016/j.ifacol.2025.12.336 UR - https://arxiv.org/abs/2503.13787 ID - 2503.13787 ER -