Visible to the public A Formal Methods Approach to Safe, Composable, and Distributed Reinforcement Learning for co-Robots