Detail

Publication date: 01/01/2012

Statistical Model Checking for Markov Decision Processes

Authors

David Henriques, João Martins, Paolo Zuliani, Edmund M. Clarke,

Publisher IEEE Computer Society
Publisher IEEE Computer Society