A Decision Architecture for Safety Computations