Thanks for this.
I used to teach an introductory robotics course using LEGO Mindstorms, and would give a little information on these different types. Dead reckoning always seemed the simplest to think about (less dynamic) but was in practice incredibly difficult, because on the ground you would encounter unpredictable and variable friction and slippage (especially when turning), as well as less than perfect sensors. It made many a student very frustrated — they should have gone with a more programming-heavy solution from the beginning.
Are you aware of any special issues, or plans to deal with them, in terms of planet-to-planet travel, i.e. Earth to Mars? I’m sure the principles are all the same, but are there any tricks that could make it easier?