Sound statistical model checking for MDP using partial order and confluence reduction.
Arnd HartmannsMark TimmerPublished in: Int. J. Softw. Tools Technol. Transf. (2015)
Keyphrases
- partial order
- model checking
- finite state
- reachability analysis
- temporal logic
- model checker
- set theory
- partially ordered
- total order
- temporal properties
- markov decision processes
- formal verification
- formal specification
- automated verification
- symbolic model checking
- computation tree logic
- verification method
- timed automata
- formal methods
- transition systems
- bounded model checking
- state space
- preference relations
- planning domains
- modal logic
- markov decision process
- multi agent