Login / Signup

A framework for formal verification of robot kinematics.

Guojun XieHuanhuan YangGang Chen
Published in: J. Log. Algebraic Methods Program. (2024)
Keyphrases
  • formal verification
  • mobile robot
  • model checking
  • robot navigation
  • real time
  • motion planning