Alert button

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

Apr 29, 2021
Anas Shrinah, Derek Long, Kerstin Eder

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

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: