Before revision: We describe an abstract control-theoretic setting in which the validity of the dynamic programming principle can be established in continuous time by a verification of a small number of structural properties.
After revision: We describe an abstract control-theoretic framework in which the validity of the dynamic programming principle can be established in continuous time by a verification of a small number of structural properties.