Ultrasound sensor modeling in Gazebo simulator for diagnostics of abdomen pathologies | IEEE Conference Publication | IEEE Xplore