Kyle Doud

A framework for formal automated analysis of simulation experiments using probabilistic model checking

2017

Simulation experiments contribute to scientific discovery due to the degree and extent of reproducibility that simulation systems provide. On the other hand, domain scientists may lack expertise in simulation programming and the use of effective …