Dear reader,

The supplementary material is composed of:
1. NOLAM(code): the source code of NOLAM and our baseline.
2. ActionModelValidator(code): the source code used for evaluating the validity of the plans generated with the learned action models.
3. Probability: a table showing all possible values of the probability computed in Example 1

