Filters








7 Hits in 5.9 sec

Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting

SAMSON ABRAMSKY, VIKTOR WINSCHEL
2015 Mathematical Structures in Computer Science  
We characterize all subgame-perfect equilibria for the dollar auction game.  ...  This suggests that coalgebra supports a more adequate treatment of infinite-horizon models in game theory and economics.  ...  We shall use the methods of coalgebra [17, 7] to analyze two basic examples of infinite games without resorting to discounting and induction.  ... 
doi:10.1017/s0960129515000365 fatcat:e7cl3djttnbqnfbkc2lx2xhyuu

Coalgebraic Semantics of Reflexive Economics (Dagstuhl Seminar 15042)

Samson Abramsky, Alexander Kurz, Pierre Lescanne, Viktor Winschel, Marc Herbstritt
2015 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 15042 "Coalgebraic  ...  Coalgebraic Analysis of Subgame-perfect Equilibria in Infinite Games without Discounting, 2013, by Samson Abramsky and Viktor Winschel: In this paper we prove coinductively a property of an infinite game  ...  , namely subgame perfectness of a strategy profile.  ... 
doi:10.4230/dagrep.5.1.197 dblp:journals/dagstuhl-reports/AbramskyKLW15 fatcat:bfot4e2lbjh5tarbfps4qzrsmy

Long-Term Values in Markov Decision Processes, (Co)Algebraically [chapter]

Frank M. V. Feys, Helle Hvid Hansen, Lawrence S. Moss
2018 Lecture Notes in Computer Science  
Probabilistic systems, similar to MDPs but without rewards, have been extensively studied, also coalgebraically, from the perspective of program semantics.  ...  In this paper, we focus on the role of MDPs as models in optimal planning, where the reward structure is central.  ...  They use that result in connection with subgame perfect equilibria in infinite games such as the dollar auction.  ... 
doi:10.1007/978-3-030-00389-0_6 fatcat:75sk42pkp5fzpnlbyolsu575em

Coalgebraic Semantics of Reflexive Economics 1 Executive Summary

Samson Abramsky, Alexander Kurz, Pierre Lescanne, Viktor Winschel, Samson Abramsky, Jules Hedges, Alexander Kurz, Pierre Viktor, Winschel License
unpublished
This report documents the program and the outcomes of Dagstuhl Seminar 15042 "Coalgebraic  ...  -Coalgebraic Semantics of Reflexive Economics Participants  ...  Coalgebraic Analysis of Subgame-perfect Equilibria in Infinite Games without Discounting, 2013, by Samson Abramsky and Viktor Winschel: In this paper we prove coinductively a property of an infinite game  ... 
fatcat:35sva7lr5jcyxkjno2gbh6k2mi

Information Flow and Its Applications 1 Executive Summary

Samson Abramsky, Jean Krivine, Michael Mislove, Samson Abramsky, Jean Krivine, Michael Mislove, Samson Abramsky, Jean Krivine, Michael Mislove
Dagstuhl Reports   unpublished
issue of the representation and analysis of information flows.  ...  From the modeling, analysis or simulation of these substrates will emerge unifying techniques or 1  ...  The technical part introduces the predicate coinduction proof principle that allows to proof subgame perfect equilibria defined as predicates on the carrier of coalgebras.  ... 
fatcat:o2qwo3v725drjhn7bhhb5g37q4

Quality of Experience: From Assessment to Application (Dagstuhl Seminar 15022) Understanding Complexity in Multiobjective Optimization (Dagstuhl Seminar 15031) Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041) Artificial and Computational Intelligence in Games: Integration (Dagstuhl Seminar 15051)

Michael Philippsen, Pascal Felber, Michael Scott, J Eliot, Katrien De Moor, Markus Fiedler, Peter Reichl, Martín Varela, Salvatore Greco, Kathrin Klamroth, Joshua Knowles, Günter Rudolph (+13 others)
2015 unpublished
The research field of artificial and computational intelligence in games focuses on the wide variety of advanced computational techniques used to create, enhance, and improve the experiences of humans  ...  This includes generalizations to interwoven systems with more than two subproblems, an in-depth analysis of the similarities and the differences between different notions of optimality and between the  ...  Coalgebraic Analysis of Subgame-perfect Equilibria in Infinite Games without Discounting, 2013, by Samson Abramsky and Viktor Winschel: In this paper we prove coinductively a property of an infinite game  ... 
fatcat:ckaercgotnenhidbwsz7zufttq

Mobility Data Mining and Privacy (Dagstuhl Seminar 12331) Verifying Reliability (Dagstuhl Seminar 12341) Engineering Multiagent Systems (Dagstuhl Seminar 122342)

Goetz Graefe, Wey Guy, Harumi Kuno, Glenn, Christopher Clifton, Bart Kuijpers, Katharina Morik, Yucel Saygin, Görschwin Fey, Masahiro Fujita, Natasa Miskov-Zivanov, Kaushik Roy (+5 others)
2012 unpublished
Acknowledgements We would like to thank all participants of the Dagstuhl Seminar on Mobility Data Mining and Privacy for stimulating discussions, valuable input, and feedback.  ...  The technical part introduces the predicate coinduction proof principle that allows to proof subgame perfect equilibria defined as predicates on the carrier of coalgebras.  ...  Coalgebraic Infinite Games without Discounting -Towards Reflexive Economics Viktor Winschel (Universität Mannheim, DE) License Creative Commons BY-NC-ND 3.0 Unported license © Viktor Winschel After a  ... 
fatcat:na7mzpsxxfeqlberxsi5mgse4a