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

Kyle Doud, Levent Yilmaz

Browse the full WSC paper archive.