Observation and distinction: representing information in infinite games

DOI10.1007/s00224-021-10044-xOpenAlexW2891648809MaRDI QIDQ2701064

Dietmar Berwanger, Laurent Doyen

Publication date: 27 April 2023

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00224-021-10044-x

Mathematics Subject Classification ID

Game theory (91Axx) Theory of computing (68Qxx) General logic (03Bxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The complexity of two-player games of incomplete information
• Some extensions of a claim of Aumann in an axiomatic model of knowledge
• On observability of discrete-event systems
• On the valuedness of finite transducers
• Algebraic and structural automata theory. Transl. of algebraiczna i structuralna teoria automatów (PWN, Warsaw, 1985)
• Automata, logics, and infinite games. A guide to current research
• Uniform strategies, rational relations and jumping automata
• A Perfect-Information Construction for Coordination in Games
• Automatic structures of bounded degree revisited
• On the synthesis of strategies in infinite games
• Relating Paths in Transition Systems
• A GENERAL NOTION OF UNIFORM STRATEGIES
• Algorithms for Omega-Regular Games with Imperfect Information
• Solving Sequential Conditions by Finite-State Strategies
• CONCUR 2005 – Concurrency Theory