A regularization of Zubov's equation for robust domains of attraction