Pieter-Tjerk de Boer, Daniël Reijsbergen, Werner R. W. Scheinhardt. Interactive comparison of hypothesis tests for statistical model checking. In William J. Knottenbelt, Katinka Wolter, Ana Busic, Marco Gribaudo, Philipp Reinecke, editors, VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, Berlin, Germany, December 14-16, 2015. pages 153-157, ACM, 2015. [doi]
Abstract is missing.