Using Abstraction for Generalized Planning.

Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein

Browse the full ISAIM paper archive.