Safe Deep Model-Based Reinforcement Learning with Lyapunov Functions | Synapse