Safety Verification of Continuous-Space Pure Jump Markov Processes.
Sadegh Esmaeil Zadeh SoudjaniRupak MajumdarAlessandro AbatePublished in: TACAS (2016)
Keyphrases
- markov processes
- continuous space
- markov chain
- discrete space
- markov process
- steady state
- mathematical morphology
- stochastic processes
- model checking
- non stationary
- state space
- transition probabilities
- random fields
- stochastic process
- random walk
- stationary distribution
- image processing
- closed sets
- binary images
- dynamic programming