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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.