Aubin, J.-P. <https://pure.iiasa.ac.at/view/iiasa/1134.html> & Frankowska, H. <https://pure.iiasa.ac.at/view/iiasa/1884.html>  (1995).  The Viability Kernel Algorithm for Computing Value Functions of Infinite Horizon Optimal Control Problems.   IIASA Working Paper. IIASA, Laxenburg, Austria: WP-95-098