On Verifying Linear Execution Strategies in Planning Against Nature.

Luks Chrpa, Erez Karpas

Browse the full ICAPS paper archive.