Before revision:  Experiments on discrete and continuous domains \sim10 demonstrate the strength of our approach in learning to solve (unseen) tasks, given LTL instructions.
After revision:  Experiments on discrete and continuous domains \sim10^{39 demonstrate the strength of our approach in learning to solve (unseen) tasks, given LTL instructions.