Omar Zia Khan Pascal Poupart James P. Black Minimal Sufficient Explanations for MDPs. 48-59 2009 ExaCt conf/exact/2009 db/conf/exact/exact2009.html#KhanPB09