Verification of linear duration properties over continuous-time markov chains.

Taolue Chen Marco Diciolla Marta Z. Kwiatkowska Alexandru Mereacre

Published in: HSCC (2012)

Keyphrases

continuous time markov chains
markov processes
model checking
special case
least squares
higher order
sufficient conditions