Model Checking Interactive Markov Chains.

Lijun Zhang, Martin R. Neuhuer

Browse the full TACAS paper archive.