HyRiM: A Package for Multicriteria Game Theory over the Space of Probability Distributions7 years ago