Learning continuous time Markov chains from sample executions | IEEE Conference Publication | IEEE Xplore