Exploring Computational User Models for Agent Policy Summarization | AMiner