Rational Verification: From Model Checking to Equilibrium Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi. Rational Verification: From Model Checking to Equilibrium Checking. In Dale Schuurmans, Michael P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA. pages 4184-4191, AAAI Press, 2016. [doi]

This author has not been identified. Look up 'Michael Wooldridge' in GoogleThis author has not been identified. Look up 'Julian Gutierrez' in GoogleThis author has not been identified. Look up 'Paul Harrenstein' in GoogleThis author has not been identified. Look up 'Enrico Marchioni' in GoogleThis author has not been identified. Look up 'Giuseppe Perelli' in GoogleThis author has not been identified. Look up 'Alexis Toumi' in Google

runs on WebDSL