Solving strong controllability of temporal problems with uncertainty using SMT