GitHub repository: nichiyoubi/line_tracer_model
Created: 2017-05-25T14:47:52Z
Description: promela model for line tracer robot