AAMAS

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
AAMAS
 

Publications Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian Automatic Verification of Multi-Agent Systems in Parameterised Grid-EnvironmentsKonferenzbeitrag Inproceedings 2016
2Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha Graded Strategy Logic: Reasoning about Uniqueness of Nash EquilibriaKonferenzbeitrag Inproceedings 2016