A Verified Compositional Algorithm for AI Planning.

Mohammad Abdulaziz, Charles Gretton, Michael Norrish

Browse the full ITP paper archive.