Satisfiability Bounds for co-regular Properties in Interval-valued Markov Chains.
Maxence DutreixSamuel CooganPublished in: CDC (2018)
Keyphrases
- markov chain
- interval valued
- steady state
- transition probabilities
- fuzzy sets
- monte carlo
- finite state
- stationary distribution
- markov processes
- group decision making
- random walk
- state space
- partially ordered
- real valued
- desirable properties
- transition matrix
- probabilistic automata
- representation scheme
- sufficient conditions
- image classification
- artificial neural networks
- lower bound
- genetic algorithm