Cimatti, Alessandro, Fondazione Bruno Kessler, Trento, Italy, Italy
-
Thirty-First AAAI Conference on Artificial Intelligence - Planning and Scheduling
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic
Abstract PDF