Decoupled Behavioral Cloning for Scalable Inductive Generalization in RL from Specifications | ArxivCSExplorer