Computing the viability kernel in large state dimension
scientific article; zbMATH DE number 5077920