Verification of Nash-Equilibrium for Probabilistic BAR Systems

Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong. Verification of Nash-Equilibrium for Probabilistic BAR Systems. In Hai Wang, Mounir Mokhtari, editors, 21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016, Dubai, United Arab Emirates, November 6-8, 2016. pages 53-62, IEEE Computer Society, 2016. [doi]

Abstract

Abstract is missing.