J. Cui and P. Haslum, “Dynamic Controllability of Controllable Conditional Temporal Problems with Uncertainty”, ICAPS, vol. 27, no. 1, pp. 61–69, Jun. 2017.