Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking.

Kailun Luo

Browse the full AAAI paper archive.