Automata Learning meets Shielding