Model Checking Branching Time Properties for Incomplete Markov Chains.
Shiraj AroraM. V. Panduranga RaoPublished in: SPIN (2019)
Keyphrases
- model checking
- markov chain
- finite state
- temporal properties
- temporal logic
- epistemic logic
- model checker
- automated verification
- finite state machines
- formal specification
- markov model
- formal verification
- symbolic model checking
- markov processes
- transition probabilities
- probabilistic automata
- monte carlo
- state space
- verification method
- bounded model checking
- formal methods
- transition systems
- random walk
- pspace complete
- timed automata
- reachability analysis
- computation tree logic
- reactive systems
- modal logic
- concurrent systems
- search algorithm
- partially observable markov decision processes
- linear temporal logic
- markov models
- learning algorithm
- machine learning