Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards. Importance Sampling for Stochastic Timed Automata. In Martin Fränzle, Deepak Kapur, Naijun Zhan, editors, Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. Volume 9984 of Lecture Notes in Computer Science, pages 163-178, 2016. [doi]
Abstract is missing.