Use ActionMasks in PrismProgramSimulator #126
Description
Action masks allow to reduce the edges that we explore during model building, this can drastically reduce overhead in the next-state-generator during simulation.
{{ message }}
Action masks allow to reduce the edges that we explore during model building, this can drastically reduce overhead in the next-state-generator during simulation.