Additional material for the TAILOR 2020 paper "Towards Deep Statistical Model Checking"
The Modest Toolset