Task level specification and formal verification of robotics control systems: State of the art and case study

DOI10.1080/002077299291697zbMath1015.93534OpenAlexW2041859735MaRDI QIDQ4546958

No author found.

Publication date: 27 July 2003

Published in: International Journal of Systems Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/002077299291697

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85)

Related Items (1)

Verification of heterogeneous multi-agent system using MCMAS

Uses Software

• Coq
• PVS
• Ptolemy

This page was built for publication: Task level specification and formal verification of robotics control systems: State of the art and case study