Statistical Model Checking for Markov Decision Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David Henriques, João Martins, Paolo Zuliani, André Platzer, Edmund M. Clarke. Statistical Model Checking for Markov Decision Processes. In Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012. pages 84-93, IEEE Computer Society, 2012. [doi]

This author has not been identified. Look up 'David Henriques' in GoogleThis author has not been identified. Look up 'João Martins' in GoogleThis author has not been identified. Look up 'Paolo Zuliani' in GoogleThis author has not been identified. Look up 'André Platzer' in GoogleThis author has not been identified. Look up 'Edmund M. Clarke' in Google

runs on WebDSL