/Verification-of-Plans-Against-Nature

Source code and benchmark data for the paper "On Verifying Linear Execution Strategies in Planning Against Nature" published at ICAPS 2024

Primary LanguagePDDL

No issues in this repository yet.