Statistical Model Checking of RANDAO's Resilience to Pre-computed Reveal Strategies.

Musab A. Alturki, Grigore Rosu

Browse the full FM paper archive.