Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in Automotive Production Lines | IEEE Conference Publication | IEEE Xplore