Verification of Nash-Equilibrium for Probabilistic BAR Systems | IEEE Conference Publication | IEEE Xplore