Arnd Hartmanns, Sean Sedwards, Pedro R. D'Argenio. Efficient simulation-based verification of probabilistic timed automata. In 2017 Winter Simulation Conference, WSC 2017, Las Vegas, NV, USA, December 3-6, 2017. pages 1419-1430, IEEE, 2017. [doi]
Abstract is missing.