Nash-MV is a model checker to verify Nash equilibria in Multi Administrative Domain Distributed Systems. It hass been developed as a joint effort between Sapienza University of Rome and the University of Texas at Austin.
NashMV / Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Lorenzo, Alvisi; Allen, Clement; Harry, Li. - ELETTRONICO. - (2008).
NashMV
MARI, FEDERICO;MELATTI, IGOR;SALVO, Ivano;TRONCI, Enrico;
2008
Abstract
Nash-MV is a model checker to verify Nash equilibria in Multi Administrative Domain Distributed Systems. It hass been developed as a joint effort between Sapienza University of Rome and the University of Texas at Austin.File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
