Zeng, Yifeng, Prashant Doshi, Yinghui Pan, Hua Mao, Muthukumaran Chandrasekaran, and Jian Luo. 2011. “Utilizing Partial Policies for Identifying Equivalence of Behavioral Models”. Proceedings of the AAAI Conference on Artificial Intelligence 25 (1):1083-88. https://doi.org/10.1609/aaai.v25i1.8017.