Start API Documentation stormpy.io PrismRewardModel PrismRewardModel¶ class PrismRewardModel¶ Bases: pybind11_object Reward declaration in prism property name¶ get name of the reward model