
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
Keywords: Weak controllability; Temporal problems; Satisfiability modulo theory; Strategy synthesis