Login / Signup

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

Marta KwiatkowskaGethin NormanDavid ParkerGabriel SantosRui Yan
Published in: MFCS (2022)
Keyphrases