Devaluation of response-produced safety signals reveals circuits for goal-directed versus habitual avoidance in dorsal striatum | Synapse