Publisher
Springer International Publishing
Reference22 articles.
1. Prototype tool and case studies.
http://www.prismmodelchecker.org/files/qest19/
2. Carter, M.: Foundations of Mathematical Economics. MIT Press, Cambridge (2001)
3. Chatterjee, K., Majumdar, R., Jurdzinski, M.: On nash equilibria in stochastic games. In: CSL, pp. 26–40 (2004)
4. Datta, R.S.: Using computer algebra to find nash equilibria. In: ISSAC, pp. 74–79. ACM, New York (2003)
5. Datta, R.S.: Finding all nash equilibria of a finite game using polynomial algebra. Econ. Theory 42(1), 55–96 (2009)