×

Found 5 Documents (Results 1–5)

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: arXiv Link

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
Full Text: arXiv Link

Filter Results by …

Document Type

Year of Publication

Main Field

Software