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

Software Engineering for Robotics ◽

10.1007/978-3-030-66494-7_9 ◽

2020 ◽

pp. 249-293

Author(s):

Ana Cavalcanti ◽

Will Barnett ◽

James Baxter ◽

Gustavo Carvalho ◽

Madiel Conserva Filho ◽

...

Download Full-text