Documentation needed for Randomized Reachability Analysis

[yrke]

See https://github.com/UPPAALModelChecker/uppaal/pull/175

Unsupported features:
Verification of deadlocks. (Should throw "unsupported" logic error)
Liveness queries (E[] and A<>). (Should throw "unsupported" logic error)
All other types of unmentioned queries
Usefull links:
Paper: Randomized Reachability Analysis in UPPAAL

Paper artefact - models and UPPAAL prototype:
http://people.cs.aau.dk/~ulrik/submissions/874325/FMICS2021.zip
(need to copy-paste link into new tab, doesn't seem to work otherwise)