TY  - RPRT
TI  - Learning Markov Decision Processes for Model Checking
AU  - Hua Mao
AU  - Yingke Chen
AU  - Manfred Jaeger
AU  - Thomas D. Nielsen
AU  - Kim G. Larsen
AU  - Brian Nielsen
PY  - 2012
DO  - 10.4204/eptcs.103.6
UR  - https://arxiv.org/abs/1212.3873
ID  - 1212.3873
ER  -