Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus, Andreas Podelski. Temporal Planning as Refinement-Based Model Checking. In J. Benton 0001, Nir Lipovetzky, Eva Onaindia, David E. Smith 0001, Siddharth Srivastava 0001, editors, Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2019, Berkeley, CA, USA, July 11-15, 2019. pages 195-199, AAAI Press, 2019. [doi]
Abstract is missing.