TY  - RPRT
TI  - Goal-constrained Planning Domain Model Verification of Safety Properties
AU  - Anas Shrinah
AU  - Kerstin Eder
PY  - 2020
UR  - https://arxiv.org/abs/1811.09231
ID  - 1811.09231
ER  -