Hedges, Jules Morphisms of open games. (English) Zbl 07517271 Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 151-177 (2018). MSC: 91A40 91A18 91A20 18A20 18N10 PDFBibTeX XMLCite \textit{J. Hedges}, Electron. Notes Theor. Comput. Sci. 341, 151--177 (2018; Zbl 07517271) Full Text: DOI arXiv
Hedges, Jules Backward induction for repeated games. (English) Zbl 07447766 Atkey, Robert (ed.) et al., Proceedings of the 7th workshop on mathematically structured functional programming, MSFP 2018, Oxford, UK, July 8, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 275, 35-52 (2018). MSC: 91A20 PDFBibTeX XMLCite \textit{J. Hedges}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 275, 35--52 (2018; Zbl 07447766) Full Text: arXiv Link
Le Roux, Stéphane; Martin-Dorel, Érik; Smaus, Jan-Georg An existence theorem of Nash equilibrium in Coq and Isabelle. (English) Zbl 1483.91014 Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 46-60 (2017). MSC: 91A10 68V20 PDFBibTeX XMLCite \textit{S. Le Roux} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 46--60 (2017; Zbl 1483.91014) Full Text: arXiv Link
Abramsky, Samson; Winschel, Viktor Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting. (English) Zbl 1364.91026 Math. Struct. Comput. Sci. 27, No. 5, 751-761 (2017). MSC: 91A18 91B26 PDFBibTeX XMLCite \textit{S. Abramsky} and \textit{V. Winschel}, Math. Struct. Comput. Sci. 27, No. 5, 751--761 (2017; Zbl 1364.91026) Full Text: DOI arXiv
Lenisa, Marina Multigames and strategies, coalgebraically. (English) Zbl 1331.91051 Theor. Comput. Sci. 604, 46-62 (2015). MSC: 91A44 91A20 18B99 PDFBibTeX XMLCite \textit{M. Lenisa}, Theor. Comput. Sci. 604, 46--62 (2015; Zbl 1331.91051) Full Text: DOI