Infinite Games
From MaRDI portal
Publication:4412825
DOI10.1007/3-540-36387-4_2zbMath1021.91502OpenAlexW4245764324MaRDI QIDQ4412825
Publication date: 16 July 2003
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-36387-4_2
2-person games (91A05) Games involving graphs (91A43) Formal languages and automata (68Q45) Determinacy principles (03E60)
Related Items
Simultaneously moving cops and robbers, Knowledge base exchange: the case of OWL 2 QL, Linear temporal logic -- from infinite to finite horizon, Planning for potential: efficient safe reinforcement learning, Cops and Robbers on Dynamic Graphs: Offline and Online Case, Selfish cops and active robber: multi-player pursuit evasion on graphs, Sufficient conditions for reachability in automata networks with priorities, Simulation relations and applications in formal methods, Realizability problem for constraint LTL, Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey, Refinement modal logic, Selfish cops and passive robber: qualitative games, The treewidth of proofs, ATL with Strategy Contexts and Bounded Memory, A survey on the relationship between the game of cops and robbers and other game representations, Computing Weakest Strategies for Safety Games of Imperfect Information, Decoy allocation games on graphs with temporal logic objectives, A note on the Nash equilibria of some multi-player reachability/safety games, Some game-theoretic remarks on two-player generalized cops and robbers games, NP reasoning in the monotone \(\mu\)-calculus, Games for query inseparability of description logic knowledge bases
