RoboStar Technology: A Roboticist's Toolbox for Combined Proof, Simulation, and Testing

Ana Cavalcanti, Will Barnett, James Baxter, Gustavo Carvalho, Madiel Conserva Filho, Alvaro Miyazawa, Pedro Ribeiro, Augusto Sampaio
January 2021
DOI URL
Type
Book section
Publication
Software Engineering for Robotics

Related