Summarizing agent strategies