1 citations · 1 across the 4 of their papers we have counts for
Showing cs.AIShow all
2 papers · 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…
cs.AI2018★ 1 cited
Goal-constrained Planning Domain Model Verification of Safety Properties
Anas Shrinah, Kerstin Eder
The verification of planning domain models is crucial to ensure the safety, integrity and correctness of planning-based automated systems. This task is usually performed using mode…