On the complexity of model checking interval-valued discrete time Markov chains.
Taolue ChenTingting HanMarta Z. KwiatkowskaPublished in: Inf. Process. Lett. (2013)
Keyphrases
- markov chain
- model checking
- finite state
- interval valued
- pspace complete
- temporal logic
- markov processes
- fuzzy sets
- formal verification
- model checker
- monte carlo
- real valued
- transition probabilities
- group decision making
- state space
- stationary distribution
- representation scheme
- formal methods
- verification method
- aggregation operators
- partially ordered
- finite state machines
- computational complexity
- decision problems
- markov decision processes
- fuzzy numbers
- reinforcement learning
- machine learning