Model Checking Coalition Nash Equilibria in MAD Distributed Systems.

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

Browse the full SSS paper archive.