Derek Long

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

2021 · arXiv (Cornell University)

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 of formally confirming that two planning domain models can be …

Finding Human-Aligned Abstractions Efficiently for Explaining Plan Quality Differences

2026 · Proceedings of the International Conference on Automated Planning and Scheduling

Explaining differences in the quality of plans is an effective method for helping users understand the decisions made by planners. When a user suggests an alternative plan that is lower in quality, these explanations can …