Iain Little Douglas Aberdeen Sylvie Thiébaux Prottle: A Probabilistic Temporal Planner. 1181-1186 2005 conf/aaai/2005 AAAI db/conf/aaai/aaai2005.html#LittleAT05