Trace Equivalence Characterization Through Reinforcement Learning. - Josée Desharnais; François Laviolette; Krishna Priya Darsini Moturu; Sami Zhioua (Canadian AI, 2006)