Verification of the base model from Mosca et al. using a synthetic dataset
ROS package for simulations at CS with Turtlebots 3