A. Kolobov, ’ Mausam, and D. Weld, “SixthSense: Fast and Reliable Recognition of Dead Ends in MDPs”, AAAI, vol. 24, no. 1, pp. 1108–1114, Jul. 2010.