Efficient simulation-based verification of probabilistic timed automata.

Arnd Hartmanns, Sean Sedwards, Pedro R. D'Argenio

Browse the full WSC paper archive.