Search Results for author:
Found 2 papers, 1 papers with code
D-VAL: An automatic functional equivalence validation tool for planning domain models
This paper introduces an approach to validate the functional equivalence of planning domain models.
Goal-constrained Planning Domain Model Verification of Safety Properties
The verification of planning domain models is crucial to ensure the safety, integrity and correctness of planning-based automated systems.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
