Research output per year
Research output per year
Search results
-
2021
Robostar technology: A roboticist's toolbox for combined proof, simulation, and testing
Cavalcanti, A., Barnett, W., Baxter, J., Carvalho, G., Filho, M. C., Miyazawa, A., Ribeiro, P. & Sampaio, A., 5 Jul 2021, Software Engineering for Robotics. Springer International Publishing AG, p. 249-293 45 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter