Propositional dynamic logic for searching games with errors. - Teheux, Bruno (CoRR, 2014)