2000 character limit reached
(Mechanical) Reasoning on Infinite Extensive Games (0805.1798v4)
Published 13 May 2008 in cs.GT and cs.LO
Abstract: In order to better understand reasoning involved in analyzing infinite games in extensive form, we performed experiments in the proof assistant Coq that are reported here.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
