Commanding a robot in a safe way

MaRDI QIDQ3653851zbMATH OpenFDO

Authors Zoltán Istenes, Tamás Kozsik

Publication date 29 December 2009

zbMATH Keywords

Certified Proved-Property-Carrying-Code

Mathematics Subject Classification ID

Artificial intelligence for robotics (68T40)

Recommendations

• scientific article; zbMATH DE number 1330435
• Logic Programming
• Automated techniques for provably safe mobile code.
• Proving the correctness of mobile Java code
• scientific article; zbMATH DE number 2110618

Cited in

(1)

• ROSCoq: robots powered by constructive reals

This page was built for publication: Commanding a robot in a safe way

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3653851)