Importance Sampling for Stochastic Timed Automata.

Cyrille Jgourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen, Sean Sedwards

Browse the full SETTA paper archive.