In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications

Borja G. León, Murray Shanahan, Francesco Belardinelli

We address the problem of building agents whose goal is to learn to execute out-of distribution (OOD) multi-task instructions expressed in temporal logic (TL) by using deep reinfor…