Angelo Ferrando, Rafael C. Cardoso. RVPLAN: Runtime Verification of Assumptions in Automated Planning. In Ana Paula Rocha 0001, Luc Steels, H. Jaap van den Herik, editors, Proceedings of the 14th International Conference on Agents and Artificial Intelligence, ICAART 2022, Volume 2, Online Streaming, February 3-5, 2022. pages 67-77, SCITEPRESS, 2022. [doi]
Abstract is missing.