Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk).

Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan

Browse the full MFCS paper archive.