Workshop on the Integration of Control Theory, Formal Methods, Learning and Human Factors for Autonomous Systems