Title | ||
---|---|---|
Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk) |
Year | DOI | Venue |
---|---|---|
2022 | 10.4230/LIPICS.MFCS.2022.4 | International Symposium on Mathematical Foundations of Computer Science (MFCS) |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marta Z. Kwiatkowska | 1 | 6118 | 322.21 |
Gethin Norman | 2 | 4163 | 193.68 |
David Parker | 3 | 4018 | 184.00 |
Gabriel Santos | 4 | 33 | 11.50 |
Rui Yan | 5 | 0 | 0.68 |