Statistical Model Checking of RANDAO’s Resilience to Pre-computed Reveal Strategies
Musab A. Alturki, Grigore Roşu
Topics & Concepts
Computer scienceResilience (materials science)Model checkingArtificial intelligenceProgramming languagePhysicsThermodynamicsFormal Methods in VerificationLogic, programming, and type systemsLogic, Reasoning, and Knowledge