[EN] Finite State Controllers (FSCs) are an effective way to compactly represent sequential plans. By imposing appropriate conditions on transitions, FSCs can also represent generalized plans (plans that solve a range of ...
[EN] Generalized planning is the task of generating a single solution (a generalized plan) that is valid for multiple planning instances. In this paper we introduce a novel formalism for representing generalized plans that ...
[EN] Generalized planning aims at computing an algorithm-like
structure (generalized plan) that solves a set of multiple planning instances. In this paper we define negative examples for
generalized planning as planning ...