A Constraint-based Safety Model for Reinforcement Learning | Synapse