Sign in

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

Taolue ChenMarco DiciollaMarta Z. KwiatkowskaAlexandru Mereacre
Published in: HSCC (2012)
Keyphrases
  • continuous time markov chains
  • markov processes
  • model checking
  • special case
  • least squares
  • higher order
  • sufficient conditions