Verified simulation for robotics

Cavalcanti, A; Sampaio, A; Miyazawa, A; Ribeiro, P; Conserva, M; Didier, A; Li, W; Timmis, J

Cavalcanti, A (reprint author), Univ York, Dept Comp Sci, York, N Yorkshire, England.; Sampaio, A (reprint author), Univ Fed Pernambuco, Ctr Informat, Recife, PE, Brazil.

SCIENCE OF COMPUTER PROGRAMMING, 2019; 174 (): 1

Abstract

Simulation is a favoured technique for analysis of robotic systems. Currently, however, simulations are programmed in an ad hoc way, for specific simu......

Full Text Link