Probabilistic Model Checking of Handball Action Sequences.

Luke Wildman

Browse the full PRDC paper archive.