Homomorphisms and Embeddings of STRIPS Planning Models

Arnaud Lequen, Martin C. Cooper, Frédéric Maris

Determining whether two STRIPS planning instances are isomorphic is the simplest form of comparison between planning instances. It is also a particular case of the problem concerne…