Sufficient optimality conditions for discrete automaton-type systems
scientific article; zbMATH DE number 6250263