Parametric LTL on Markov Chains.
Souymodip ChakrabortyJoost-Pieter KatoenPublished in: IFIP TCS (2014)
Keyphrases
- markov chain
- steady state
- finite state
- model checking
- transition probabilities
- stochastic process
- temporal logic
- random walk
- stationary distribution
- monte carlo
- state space
- markov process
- monte carlo method
- markov model
- linear temporal logic
- markov processes
- monte carlo simulation
- transition matrix
- linear time temporal logic
- assemble to order systems
- confidence intervals
- sample size