Cimatti, A., Micheli, A. and Roveri, M. (2021) “Solving Temporal Problems Using SMT: Weak Controllability”, Proceedings of the AAAI Conference on Artificial Intelligence, 26(1), pp. 448–454. doi: 10.1609/aaai.v26i1.8136.