Hugo Gimbert, Youssouf Oualhadj: Deciding the Value 1 Problem for $\sharp$ -acyclic Partially Observable Markov Decision Processes. SOFSEM 2014: 281-292