Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic.

Alessandro Cimatti, Andrea Micheli, Marco Roveri

Browse the full AAAI paper archive.