Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A framework for formal verification of robot kinematics - MaRDI portal

A framework for formal verification of robot kinematics

From MaRDI portal

Publication:6561341

Jump to:navigation, search

DOI10.1016/j.jlamp.2024.100972MaRDI QIDQ6561341

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)

zbMATH Keywords

kinematics formal verification Coq proof assistant coordinate conversion formal methods in robotics and automation

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: A framework for formal verification of robot kinematics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6561341&oldid=40092156"