Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in Automotive Production Lines.

Eric Wete, Joel Greenyer, Andreas Wortmann, Oliver Flegel, Martin Klein

Browse the full MODELS paper archive.