Discrete time Markov chain families: modeling and verification of probabilistic software product lines.
Mahsa VarshosazRamtin KhosraviPublished in: SPLC Workshops (2013)
Keyphrases
- markov chain
- steady state
- software product line
- finite state
- random walk
- transition probabilities
- markov processes
- monte carlo
- markov process
- stationary distribution
- markov model
- monte carlo method
- product line
- goal driven
- monte carlo simulation
- bayesian networks
- software engineering
- state space
- probabilistic model
- model checking
- generative model
- transition matrix
- future directions
- artificial intelligence
- markov chain monte carlo