Heinz, A., Wehrle, M., Bogomolov, S., Magazzeni, D., Greitschus, M. and Podelski, A. (2021) “Temporal Planning as Refinement-Based Model Checking”, Proceedings of the International Conference on Automated Planning and Scheduling, 29(1), pp. 195-199. Available at: https://ojs.aaai.org/index.php/ICAPS/article/view/3476 (Accessed: 27July2021).