Reachability games on automatic graphs

DOI10.1007/978-3-642-18098-9_24MaRDI QIDQ3073641zbMATH OpenOpenAlexFDO

Authors Daniel Neider

Publication date 11 February 2011

Published in Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-18098-9_24

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computational learning theory (68Q32) Automata and formal grammars in connection with logical questions (03D05) Games on graphs (graph-theoretic aspects) (05C57)

Recommendations

• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• A constraint-based approach to solving games on infinite graphs
• scientific article; zbMATH DE number 2086664
• Infinite games played on finite graphs
• Regular strategies in pushdown reachability games

Cites work

• scientific article; zbMATH DE number 1670791 (Why is no real title available?)
• scientific article; zbMATH DE number 1903345 (Why is no real title available?)
• Concurrent reachability games
• Finite presentations of infinite structures: Automata and interpretations
• Learning regular sets from queries and counterexamples
• Regular model checking using inference of regular languages
• Regular model checking using widening techniques
• Symbolic computational techniques for solving games
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(10)

• Resource Reachability Games on Pushdown Graphs
• Causality-based game solving
• Graph Games and Reactive Synthesis
• Self enforceable paths in extensive form games
• An automaton learning approach to solving safety games over infinite graphs
• Weighted automata on infinite words in the context of attacker-defender games
• Optimally Resilient Strategies in Pushdown Safety Games
• Relay reachability algorithm for exploring huge state space
• Play to Test
• Weighted automata on infinite words in the context of attacker-defender games

Describes a project that uses

Uses Software

• libalf

This page was built for publication: Reachability games on automatic graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3073641)