{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,23]],"date-time":"2025-11-23T20:56:26Z","timestamp":1763931386518,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319240237"},{"type":"electronic","value":"9783319240244"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24024-4_5","type":"book-chapter","created":{"date-parts":[[2015,9,4]],"date-time":"2015-09-04T08:00:10Z","timestamp":1441353610000},"page":"33-48","source":"Crossref","is-referenced-by-count":2,"title":["Rationality Authority for Provable Rational Behavior"],"prefix":"10.1007","author":[{"given":"Shlomi","family":"Dolev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panagiota N.","family":"Panagopoulou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mika\u00ebl","family":"Rabie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elad M.","family":"Schiller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul G.","family":"Spirakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,22]]},"reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0304-4068(74)90037-8","volume":"1","author":"RJ Aumann","year":"1974","unstructured":"Aumann, R.J.: Subjectivity and correlation in randomized strategies. J. Math. Econ. 1(1), 67\u201396 (1974)","journal-title":"J. Math. Econ."},{"key":"5_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive Theorem Proving and Program Development: Coq\u2019Art: The Calculus of Inductive Constructions","author":"Y Bertot","year":"2004","unstructured":"Bertot, Y., Cast\u00e9ran, P., Huet, G., Paulin-Mohring, C., Pierre, C.: Interactive Theorem Proving and Program Development: Coq\u2019Art: The Calculus of Inductive Constructions. Springer, New York (2004)"},{"doi-asserted-by":"crossref","unstructured":"Br\u00e2nzei, S., Procaccia, A.D.: Verifiably truthful mechanisms. CoRR abs\/1412.0056 (2014)","key":"5_CR3","DOI":"10.1145\/2688073.2688098"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-540-75254-7_2","volume-title":"Multi-Agent Systems and Applications V","year":"2007","unstructured":"Burkhard, H.-D., Lindemann, G., Verbrugge, R., Varga, L.Z. (eds.): CEEMAS 2007. LNCS (LNAI), vol. 4696, pp. 11\u201321. Springer, Heidelberg (2007)"},{"unstructured":"Coy, P.: The secret to google\u2019s success. Business Week\/Bloomberg L.P., 6 March 2006. (ts innovative auction system has ad revenues soaring)","key":"5_CR5"},{"issue":"2","key":"5_CR6","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/1461928.1461951","volume":"52","author":"C Daskalakis","year":"2009","unstructured":"Daskalakis, C., Goldberg, P.W., Papadimitriou, C.H.: The complexity of computing a nash equilibrium. Commun. ACM 52(2), 89\u201397 (2009)","journal-title":"Commun. ACM"},{"doi-asserted-by":"crossref","unstructured":"Dolev, S., Panagopoulou, P.N., Rabiey, M., Schiller, E.M., Spirakis, P.G.: Brief announcement: Rationality authority for provable rational behavior. In: PODC 2011 TR 2011:03, Department CSE, Chalmers University of Technology (2011)","key":"5_CR7","DOI":"10.1145\/1993806.1993858"},{"doi-asserted-by":"crossref","unstructured":"Dolev, S., Schiller, E.M., Spirakis, P.G., Tsigas, P.: Strategies for repeated games with subsystem takeovers implantable by deterministic and self-stabilizing automata. In: Manzalini, A. (ed.) Autonomics. ACM International Conference Proceeding Series, ACM (2008)","key":"5_CR8","DOI":"10.4108\/ICST.AUTONOMICS2008.4626"},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.cosrev.2010.09.008","volume":"5","author":"S Dolev","year":"2011","unstructured":"Dolev, S., Schiller, E.M., Spirakis, P.G., Tsigas, P.: Robust and scalable middleware for selfish-computer systems. Comput. Sci. Rev. 5(1), 69\u201384 (2011)","journal-title":"Comput. Sci. Rev."},{"issue":"26\u201328","key":"5_CR10","doi-asserted-by":"publisher","first-page":"2459","DOI":"10.1016\/j.tcs.2010.02.014","volume":"411","author":"S Dolev","year":"2010","unstructured":"Dolev, S., Schiller, E.M., Spirakis, P.G., Tsigas, P.: Game authority for robust and scalable distributed selfish-computer systems. Theor. Comput. Sci. 411(26\u201328), 2459\u20132466 (2010)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"5_CR11","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1257\/aer.97.1.242","volume":"97","author":"B Edelman","year":"2007","unstructured":"Edelman, B., Ostrovsky, M., Schwarz, M.: Internet advertising and the generalized second-price auction: selling billions of dollars worth of keywords. Am. Econ. Rev. 97(1), 242\u2013259 (2007)","journal-title":"Am. Econ. Rev."},{"issue":"1\u20132","key":"5_CR12","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1006\/game.1999.0740","volume":"29","author":"DP Foster","year":"1999","unstructured":"Foster, D.P., Vohra, R.: Regret in the on-line decision problem. Games Econ. Behav. 29(1\u20132), 7\u201335 (1999)","journal-title":"Games Econ. Behav."},{"issue":"4","key":"5_CR13","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/1383369.1383383","volume":"4","author":"D Fotakis","year":"2008","unstructured":"Fotakis, D., Kontogiannis, S.C., Spirakis, P.G.: Atomic congestion games among coalitions. ACM Trans. Algorithms 4(4), 52 (2008)","journal-title":"ACM Trans. Algorithms"},{"doi-asserted-by":"crossref","unstructured":"Freund, Y., Schapire, R.E.: Game theory, on-line prediction and boosting. In: COLT, pp. 325\u2013332 (1996)","key":"5_CR14","DOI":"10.1145\/238061.238163"},{"key":"5_CR15","first-page":"218","volume-title":"Proceedings of the 19th Annual ACM Symposium on Theory of Computing, 1987","author":"O Goldreich","year":"1987","unstructured":"Goldreich, O., Micali, S., Wigderson, A.: How to play any mental game or A completeness theorem for protocols with honest majority. In: Aho, A.V. (ed.) Proceedings of the 19th Annual ACM Symposium on Theory of Computing, 1987, pp. 218\u2013229. ACM, New York (1987)"},{"key":"5_CR16","first-page":"291","volume-title":"Proceedings of the 17th Annual ACM Symposium on Theory of Computing, May 6\u20138, 1985","author":"S Goldwasser","year":"1985","unstructured":"Goldwasser, S., Micali, S., Rackoff, C.: The knowledge complexity of interactive proof-systems (extended abstract). In: Sedgewick, R. (ed.) Proceedings of the 17th Annual ACM Symposium on Theory of Computing, May 6\u20138, 1985, pp. 291\u2013304. ACM, Providence (1985)"},{"unstructured":"Guerin, F.: An algorithmic approach to specifying and verifying subgame perfect equilibria. In: Proceedings of the Eighth Workshop on Game Theoretic and Decision Theoretic Agents (GTDT-2006), Hakodate, Japan (2006)","key":"5_CR17"},{"issue":"2","key":"5_CR18","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s10458-006-9005-2","volume":"15","author":"F Guerin","year":"2007","unstructured":"Guerin, F.: Applying game theory mechanisms in open agent systems with complete information. Auton. Agents Multi-Agent Syst. 15(2), 109\u2013146 (2007)","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-540-44972-0_4","volume-title":"Communication in Multiagent Systems","author":"F Guerin","year":"2003","unstructured":"Guerin, F., Pitt, J.: Verification and compliance testing. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS (LNAI), vol. 2650, pp. 98\u2013112. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Guerin, F., Tadjouddine, E.M.: Realising common knowledge assumptions in agent auctions. In: IAT, pp. 579\u2013586. IEEE Computer Society (2006)","key":"5_CR20","DOI":"10.1109\/IAT.2006.106"},{"issue":"2","key":"5_CR21","doi-asserted-by":"publisher","first-page":"263","DOI":"10.2307\/1914185","volume":"47","author":"D Kahneman","year":"1979","unstructured":"Kahneman, D., Tversky, A.: Prospect theory: an analysis of decision under risk. Econometrica 47(2), 263\u2013291 (1979)","journal-title":"Econometrica"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1007\/978-3-642-12200-2_49","volume-title":"LATIN 2010: Theoretical Informatics","author":"V Mirrokni","year":"2010","unstructured":"Mirrokni, V., Muthukrishnan, S., Nadav, U.: Quasi-proportional mechanisms: prior-free revenue maximization. In: L\u00f3pez-Ortiz, A. (ed.) LATIN 2010. LNCS, vol. 6034, pp. 565\u2013576. Springer, Heidelberg (2010)"},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1073\/pnas.36.1.48","volume":"36","author":"JF Nash","year":"1950","unstructured":"Nash, J.F.: Equilibrium point in n-person games. Proc. Nat. Acad. Sci. USA 36, 48\u201349 (1950)","journal-title":"Proc. Nat. Acad. Sci. USA"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-642-40164-0_25","volume-title":"Fundamentals of Computation Theory","author":"S Nikoletseas","year":"2013","unstructured":"Nikoletseas, S., Panagopoulou, P., Raptopoulos, C., Spirakis, P.G.: On the structure of equilibria in basic network formation. In: Gasieniec, L., Wolter, F. (eds.) FCT 2013. LNCS, vol. 8070, pp. 259\u2013270. Springer, Heidelberg (2013)"},{"key":"5_CR25","first-page":"166","volume":"35","author":"N Nisan","year":"2001","unstructured":"Nisan, N., Ronen, A.: Algorithmic Mech. Des. 35, 166\u2013196 (2001)","journal-title":"Algorithmic Mech. Des."},{"key":"5_CR26","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511800481","volume-title":"Algorithmic Game Theory","author":"N Nisan","year":"2007","unstructured":"Nisan, N., Roughgarden, T., Tardos, E., Vazirani, V.V.: Algorithmic Game Theory. Cambridge University Press, New York (2007)"},{"key":"5_CR27","volume-title":"A Course in Game Theory","author":"MJ Osborne","year":"1994","unstructured":"Osborne, M.J., Rubinstein, A.: A Course in Game Theory. MIT Press, Cambridge (1994)"},{"issue":"3","key":"5_CR28","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1093\/logcom\/exi014","volume":"15","author":"M Pauly","year":"2005","unstructured":"Pauly, M.: Programming and verifying subgame-perfect mechanisms. J. Log. Comput. 15(3), 295\u2013316 (2005)","journal-title":"J. Log. Comput."},{"key":"5_CR29","first-page":"103","volume":"4","author":"EM Tadjouddine","year":"2007","unstructured":"Tadjouddine, E.M.: Complexity of verifying game equilibria. CEEMAS 4, 103\u2013112 (2007)","journal-title":"CEEMAS"},{"doi-asserted-by":"crossref","unstructured":"Tadjouddine, E.M., Guerin, F.: Verifying dominant strategy equilibria in auctions. In: [4], pp. 288\u2013297(2007)","key":"5_CR30","DOI":"10.1007\/978-3-540-75254-7_29"},{"key":"5_CR31","first-page":"1613","volume-title":"AAMAS (3)","author":"EM Tadjouddine","year":"2008","unstructured":"Tadjouddine, E.M., Guerin, F., Vasconcelos, W.W.: Abstractions for model-checking game-theoretic properties of auctions. In: Padgham, L., Parkes, C.D., M\u00fcller, J., Parsons, S. (eds.) AAMAS (3), pp. 1613\u20131616. IFAAMAS, South Carolina (2008)"},{"key":"5_CR32","volume-title":"Nudge: Improving Decisions About Health, Wealth, and Happiness","author":"RH Thaler","year":"2008","unstructured":"Thaler, R.H., Sunstein, C.R.: Nudge: Improving Decisions About Health, Wealth, and Happiness. Yale University Press, New Haven (2008)"}],"container-title":["Lecture Notes in Computer Science","Algorithms, Probability, Networks, and Games"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24024-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T17:47:39Z","timestamp":1559238459000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24024-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319240237","9783319240244"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24024-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}