Zeng, Y.; Doshi, P.; Pan, Y.; Mao, H.; Chandrasekaran, M.; Luo, J. Utilizing Partial Policies for Identifying Equivalence of Behavioral Models. AAAI 2011, 25, 1083-1088.