research
∙
04/29/2021
D-VAL: An automatic functional equivalence validation tool for planning domain models
In this paper, we introduce an approach to validate the functional equiv...
research
∙
11/22/2018