Quantifying the Sim2Real Gap: Model-Based Verification and Validation in Autonomous Ground Systems | Synapse