xhajnal / DiPS

Multiple properties Probabilistic systems Model checker
BSD 3-Clause "New" or "Revised" License
4 stars 1 forks source link

create more profound data generation #12

Closed xhajnal closed 5 years ago

xhajnal commented 5 years ago

To generate data we simulate models for enough number of steps (see Figure TBA) to sample reaching tSCC of the model {representing number os sucesses}. Each experiment consists of 3500, 1500, and 100 runs respectively {1500, and 100 run experiments are the first 1500 and 100 runs of the 3500 run experiment respectively} for each of parametrisation {point in parameter space} as a random uniform distribution of 5 values in each dimension. As two-param models {asynch,semisynch, and synch} have the same probabilities of reaching each tSCC of the model we only simulate synchr. models.

xhajnal commented 5 years ago

data generated, to be checked by @tatjanapetrov