A specification with performance evaluation for probabilistic timed automata.

Yan Ma, Zining Cao, Yang Liu

Browse the full ISKE paper archive.