• Hans-Peter Deifel's avatar
    prism-converter: Fix equivalence semantic for MDPs · caba941c
    Hans-Peter Deifel authored
    We previously did not distinguish actions properly by using the
    powerset functor for action transitions. By using P(AxX) where A is
    the set of possible actions, we correctly distinguish different
    action states that behave the same.