publication venue for An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty. 224:1-27. 2015