Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games.

Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos

Browse the full FM paper archive.