Satisfiability Bounds for ω-regular Properties in Interval-valued Markov Chains.
Maxence DutreixSamuel CooganPublished in: CoRR (2018)
Keyphrases
- markov chain
- interval valued
- steady state
- transition probabilities
- fuzzy sets
- real valued
- finite state
- monte carlo
- markov processes
- probabilistic automata
- random walk
- group decision making
- state space
- stationary distribution
- transition matrix
- partially ordered
- lower bound
- search algorithm
- representation scheme
- interval valued fuzzy
- model checking
- partial order
- neural network
- dynamic programming
- pattern recognition
- learning algorithm
- genetic algorithm