Parameter and Controller Synthesis for Markov Chains with Actions and State Labels.
Bharath Siva Kumar TatiMarkus SieglePublished in: SynCoP (2015)
Keyphrases
- markov chain
- state space
- transition probabilities
- state transition
- steady state
- finite state
- markov processes
- markov process
- markov model
- stochastic process
- random walk
- stationary distribution
- controller synthesis
- transition matrix
- probabilistic automata
- initial state
- initial conditions
- markov models
- finite state machines
- mobile robot
- random numbers
- multi agent