Wei Li 0055, Pedro Ribeiro 0002, Alvaro Miyazawa, Richard Redpath, Ana Cavalcanti 0001, Kieran Alden, Jim Woodcock 0001, Jon Timmis. Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool. Auton. Robots, 48(6-7):14, August 2024. [doi]
Abstract is missing.