A Formally Verified Validator for Classical Planning Problems and Solutions.

Mohammad Abdulaziz, Peter Lammich

Browse the full ICTAI paper archive.