TY  - RPRT
TI  - D-VAL: An automatic functional equivalence validation tool for planning domain models
AU  - Anas Shrinah
AU  - Derek Long
AU  - Kerstin Eder
PY  - 2023
UR  - https://arxiv.org/abs/2104.14602
ID  - 2104.14602
ER  -