Book title Buchtitel
AAMAS
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian | Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments | Konferenzbeitrag Inproceedings  | 2016 | |
| 2 | Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha | Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria | Konferenzbeitrag Inproceedings | 2016 |