A framework for formal verification of robot kinematics
From MaRDI portal
Publication:6561341
DOI10.1016/J.JLAMP.2024.100972MaRDI QIDQ6561341FDOQ6561341
Guojun Xie, Gang Chen, Huanhuan Yang
Publication date: 25 June 2024
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
kinematicsformal verificationCoq proof assistantcoordinate conversionformal methods in robotics and automation
Cites Work
- Coquelicot: a user-friendly library of real analysis for Coq
- CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates
- Formalization of camera pose estimation algorithm based on Rodrigues formula
- Formal analysis of the kinematic Jacobian in screw theory
- Formalization of Euler-Lagrange equation set based on variational calculus in HOL light
- Parameterized verification of algorithms for oblivious robots on a ring
- Verification of the ROS NavFn planner using executable specification languages
- Untyping typed algebras and colouring cyclic linear logic
- Title not available (Why is that?)
- Formalization of the inverse kinematics of three-fingered dexterous hand
This page was built for publication: A framework for formal verification of robot kinematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6561341)
