2023
Synthesis of Robotic System Controllers Using Robotic System Specification Language
RA-L 2023
Robotic System Specification Language (RSSL) stems from the embodied agent approach to robotic system design. It enables the specification of both the structure and activities of a multi-robot multi-agent robotic system. RSSL specification can be verified and automatically transformed by its compile