On Statistical Model Checking with PLASMA.

Axel Legay, Sean Sedwards

Browse the full TASE paper archive.