HyRiM: A Package for Multicriteria Game Theory over the Space of Probability Distributions