Sign in
Verification of linear duration properties over continuous-time markov chains.
Taolue Chen
Marco Diciolla
Marta Z. Kwiatkowska
Alexandru Mereacre
Published in:
ACM Trans. Comput. Log. (2013)
Keyphrases
</>
continuous time markov chains
markov processes
poisson distribution