A Practitioner's Guide to MDP Model Checking Algorithms.
Arnd HartmannsSebastian JungesTim QuatmannMaximilian WeiningerPublished in: CoRR (2023)
Keyphrases
- model checking
- reachability analysis
- finite state
- temporal logic
- deterministic finite automaton
- markov decision processes
- orders of magnitude
- learning algorithm
- partial order reduction
- graph theory
- bounded model checking
- automated verification
- finite state machines
- computation tree logic
- temporal properties
- knowledge base
- artificial intelligence