迈克尔·卡什莫尔;亚历山德罗·西马蒂;丹尼尔·马加泽尼;安德烈亚·米凯利;帕里萨·泽塔比 时态计划解耦鲁棒包络的高效计算和执行。 （英语） Zbl 07744956号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第13条，第14页（2021年）。 总结：在实际应用中使用基于模型的规划和调度的一个主要限制是，当在执行过程中遇到观察到的现实与形式模型之间的不一致时，需要进行代价高昂的重新规划。鲁棒性包络描述了一个计划无需重新规划就能解决的一组可能的意外事件，但其精确计算成本高昂；此外，一般的健壮性信封不适合有效执行。本文提出了一种新的、随时随地逼近鲁棒性包络的算法，使其具有可扩展性和可执行性。实验分析表明了该算法的有效性，并通过一个具体的案例研究证明了这一点，其中执行鲁棒性包络大大减少了重新规划的次数。关于整个系列，请参见[Zbl 1473.68013号]. MSC公司： 03B44号 时序逻辑 60年第68季度 规范和验证（程序逻辑、模型检查等） 68T27型 人工智能中的逻辑 关键词：时间规划;鲁棒性包络线 PDF格式BibTeX公司 XML格式引用 \textit{M.Cashmore}等人，LIPIcs——莱布尼茨国际程序。通知。206，第13条，第14页（2021；Zbl 07744956） 全文： 内政部 arXiv公司