publisher of Guarantees for Sound Abstractions for Generalized Planning. 1566-1573. 2019 Counterplanning using Goal Recognition and Landmarks. 4808-4814. 2018
