Robotic System Specification Language Use Case.
Cezary ZielinskiMaksym FigatPublished in: PCC (2) (2023)
Keyphrases
- specification language
- robotic systems
- formal specification
- description language
- programming language
- mobile robot
- vision system
- autonomous robots
- control architecture
- requirements specification
- software environment
- cognitive architecture
- robotic manipulator
- fine grained
- general purpose
- real robot
- object oriented
- object manipulation
- cooperative
- xml documents