activity
20182026
most citedGoal-constrained Planning Domain Model Verification of Safety Properties

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.AI2021

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

Anas Shrinah, Derek Long, Kerstin Eder

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 o…