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]
@article{CavalcantiSMRFD19,
title = {Verified simulation for robotics},
author = {Ana Cavalcanti and Augusto Sampaio and Alvaro Miyazawa and Pedro Ribeiro 0002 and Madiel Conserva Filho and André Didier and Wei Li and Jon Timmis},
year = {2019},
doi = {10.1016/j.scico.2019.01.004},
url = {https://doi.org/10.1016/j.scico.2019.01.004},
researchr = {https://researchr.org/publication/CavalcantiSMRFD19},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {174},
pages = {1-37},
}