Approximating Model Equivalence in Interactive Dynamic Influence Diagrams Using Top K Policy Paths | IEEE Conference Publication | IEEE Xplore