Rational Verification: From Model Checking to Equilibrium Checking
M Wooldridge‚ J Gutierrez‚ P Harrenstein‚ E Marchioni‚ G Perelli and A Toumi
Book Title
Thirtieth AAAI Conference on Artificial Intelligence
Month
Feb
Year
2016
M Wooldridge‚ J Gutierrez‚ P Harrenstein‚ E Marchioni‚ G Perelli and A Toumi