Kolobov, A.; Mausam, ’; Weld, D. SixthSense: Fast and Reliable Recognition of Dead Ends in MDPs. AAAI 2010, 24, 1108-1114.