Model Checking Nash Equilibria in MAD Distributed Systems.

Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li

Browse the full FMCAD paper archive.