A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier
2013 ◽
Vol 25
(3)
◽
pp. 311-326
◽
2016 ◽
Vol 130
◽
pp. 349-362
◽
2014 ◽
Vol 52
◽
pp. 87-97
◽
2014 ◽
Vol 6
(3)
◽
pp. 35-58
◽