Formal Semantics and Formally Verified Validation for Temporal Planning.

Mohammad Abdulaziz, Lukas Koller

Browse the full AAAI paper archive.