An Indirect Verification Approach for Dynamic Control of Wheeled Mobile Robots | IEEE Conference Publication | IEEE Xplore