Verified simulation for robotics

Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro 0002, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis. Verified simulation for robotics. Science of Computer Programming, 174:1-37, 2019. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: