Cimatti, A.; Micheli, A.; Roveri, M. Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic. AAAI 2017, 31.