Keyphrases
- finite state
- programming environment
- markov chain
- programming environments
- programming language
- markov decision processes
- model checking
- optimal policy
- case study
- database
- partially observable markov decision processes
- tree automata
- transition systems
- novice programmers
- general purpose
- incomplete information
- distributed databases