Text this: Dynamic modeling and verification of unicycle mobile robot system