Efficient implementation of Randomized MPC for miniature race cars | IEEE Conference Publication | IEEE Xplore