Y. Zeng, P. Doshi, Y. Pan, H. Mao, M. Chandrasekaran, and J. Luo, “Utilizing Partial Policies for Identifying Equivalence of Behavioral Models”, AAAI, vol. 25, no. 1, pp. 1083–1088, Aug. 2011.