storm icon indicating copy to clipboard operation
storm copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth

Use ActionMasks in PrismProgramSimulator

Open sjunges opened this issue 3 years ago • 0 comments

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.

sjunges avatar Jun 11 '21 21:06 sjunges