面向安全性质的规划领域模型目标约束验证
人工智能
2020-02-25 v4
摘要
规划领域模型的验证对于确保基于规划的自动化系统的安全性、完整性与正确性至关重要。该任务通常使用模型检测技术执行。然而，无约束地将模型检测器应用于验证规划领域模型可能导致假阳性，即在使用被验证领域的规划任务中，一个可靠的规划器不可达的反例。本文讨论无约束规划领域模型验证的弊端。随后我们引入有效规划反例的概念，并展示应如何将模型检测器以及状态轨迹约束规划技术用于验证规划领域模型，以避免返回无效的规划反例。
引用
@article{arxiv.1811.09231,
title = {Goal-constrained Planning Domain Model Verification of Safety Properties},
author = {Anas Shrinah and Kerstin Eder},
journal= {arXiv preprint arXiv:1811.09231},
year = {2020}
}