Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang. Statistical Model Checking for Networks of Priced Timed Automata. In Uli Fahrenberg, Stavros Tripakis, editors, Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings. Volume 6919 of Lecture Notes in Computer Science, pages 80-96, Springer, 2011. [doi]
Abstract is missing.