Kyle Doud, Levent Yilmaz. A framework for formal automated analysis of simulation experiments using probabilistic model checking. In 2017 Winter Simulation Conference, WSC 2017, Las Vegas, NV, USA, December 3-6, 2017. pages 1312-1323, IEEE, 2017. [doi]
Abstract is missing.