Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes.

Jannik Hls, Anne Remke

Browse the full FORTE paper archive.