Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems.
Yiming MengJun LiuPublished in: FORMATS (2022)
Keyphrases
- finite state
- stochastic systems
- model checking
- markov chain
- sample path
- markov decision processes
- stochastic models
- temporal logic
- policy iteration
- confidence intervals
- optimal policy
- concurrent systems
- steady state
- partially observable markov decision processes
- average cost
- linear programming
- probabilistic model
- machine learning