Anas Shrinah

D-VAL: An automatic functional equivalence validation tool for planning domain models

2021 · arXiv (Cornell University)

This paper introduces an approach to validate the functional equivalence of planning domain models. Validating the functional equivalence of planning domain models is the problem of formally confirming that two planning domain models can be …