@inproceedings(AB12,
 author       = "A. Aldini and A. Bogliolo",
 year         = "2012",
 title        = "Model Checking of Trust-Based User-Centric Cooperative Networks",
 booktitle    = "Proc. 4th International Conference on Advances in Future Internet (AFIN'12)",
 pages        = "32--41",
)
@inproceedings(AB12a,
 author       = "A. Aldini and A. Bogliolo",
 year         = "2012",
 title        = "Trading Performance and Cooperation Incentives in User-Centric Networks",
 booktitle    = "Proc. International Workshop on Quantitative Aspects in Security Assurance (QASA'12)",
)
@inproceedings(BPA+12,
 author       = "A. Bogliolo and P. Polidori and A. Aldini and W. Moreira and P. Mendes and M. Yildiz and C. Ballester and J. Seigneur",
 year         = "2012",
 title        = "Virtual Currency and Reputation-based Cooperation Incentives in User-Centric Networks",
 booktitle    = "Proc. 8th International Wireless Communications and Mobile Computing Conference (IWCMC'12)",
 pages        = "895 --900",
 doi          = "10.1109/IWCMC.2012.6314323",
)
@article(CFK+13b,
 author       = "T. Chen and V. Forejt and M. Kwiatkowska and D. Parker and A. Simaitis",
 year         = "2013",
 title        = "Automatic Verification of Competitive Stochastic Systems",
 journal      = "Formal Methods in System Design",
 note         = "To appear",
)
@inproceedings(CFK+13,
 author       = "T. Chen and V. Forejt and M. Kwiatkowska and D. Parker and A. Simaitis",
 year         = "2013",
 title        = "{PRISM-games}: A Model Checker for Stochastic Multi-Player Games",
 booktitle    = "Proc. 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13)",
 series       = "LNCS",
 volume       = "7795",
 publisher    = "Springer",
 pages        = "187--193",
)
@article(FHB06,
 author       = "M. Felegyhazi and J.-P. Hubaux and L. Buttyan",
 year         = "2006",
 title        = "Nash equilibria of packet forwarding strategies in wireless ad hoc networks",
 journal      = "Mobile Computing, IEEE Transactions on",
 volume       = "5",
 number       = "5",
 pages        = "463 -- 476",
 doi          = "10.1109/TMC.2006.68",
)
@article(LS12,
 author       = "Z. Li and H. Shen",
 year         = "2012",
 title        = "Game-Theoretic Analysis of Cooperation Incentive Strategies in Mobile Ad Hoc Networks",
 journal      = "IEEE Transactions on Mobile Computing",
 volume       = "11",
 number       = "8",
 pages        = "1287 --1303",
 doi          = "10.1109/TMC.2011.151",
)
@inproceedings(Roy10,
 author       = "S. Roy and C. Ellis and S. Shiva and D. Dasgupta and V. Shandilya and Q. Wu",
 year         = "2010",
 title        = "A Survey of Game Theory as Applied to Network Security",
 booktitle    = "Proc. 43rd Hawaii International Conference on System Sciences (HICSS'10)",
 pages        = "1 --10",
 doi          = "10.1109/HICSS.2010.35",
)