Guarantees for Sound Abstractions for Generalized Planning (Extended Paper)

28 May 2019

Papers citing "Guarantees for Sound Abstractions for Generalized Planning (Extended Paper)"

3 / 3 papers shown

Title
An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types Hao Dong Zheyuan Shi Hemeng Zeng Yongmei Liu 55 0 0 25 Jan 2025
Automatic Verification of Sound Abstractions for Generalized Planning Zhenhe Cui Weidu Kuang Yongmei Liu 26 1 0 24 May 2022
Discovering State and Action Abstractions for Generalized Task and Motion Planning Aidan Curtis Tom Silver J. Tenenbaum Tomas Lozano-Perez L. Kaelbling 53 27 0 23 Sep 2021