Quantifying the Sim2Real Gap: Model-Based Verification and Validation in Autonomous Ground Systems. - Ammar Waheed; Madhu Areti; Luke Gallantree; Zohaib Hasnain (IEEE Robotics Autom. Lett., 2025)