CAREER: A Framework for Logic-based Requirements to guide Safe Deep Learning for Autonomous Mobile Systems