Stochastic modeling, control, and verification of wild bodies. - Daniel Erik Gierl; Leonardo Bobadilla; Oscar Sanchez; Steven M. LaValle (ICRA, 2014)