Weighted automata on infinite words in the context of attacker-defender games
From MaRDI portal
Publication:2013554
DOI10.1016/J.IC.2017.05.001zbMATH Open1371.68150OpenAlexW2963062266MaRDI QIDQ2013554FDOQ2013554
Vesa Halava, Tero Harju, Igor Potapov, Reino Niskanen
Publication date: 8 August 2017
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2017.05.001
Recommendations
undecidabilitybraid groupattacker-defender gamesvector reachabilityweighted automata on infinite words
Cites Work
- Alternating-time temporal logic
- Borel determinacy
- Title not available (Why is that?)
- Decidability of second-order theories and automata on infinite trees
- Automata, logics, and infinite games. A guide to current research
- A variant of a recursively unsolvable problem
- The power of commuting with finite sets of words
- Ordering braids.
- A survey of computational complexity results in systems and control
- UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES
- Reachability problems in quaternion matrix and rotation semigroups
- Polynomial-time algorithm for the orbit problem
- An automata-theoretic approach to branching-time model checking
- REACHABILITY PROBLEMS FOR PRODUCTS OF MATRICES IN SEMIRINGS
- Pushdown processes: Games and model-checking
- Title not available (Why is that?)
- What’s Decidable about Weighted Automata?
- Braid Group Cryptography
- Computer Science Logic
- Title not available (Why is that?)
- A Categorical Presentation of Quantum Computation with Anyons
- Title not available (Why is that?)
- Composition Problems for Braids
- Undecidability of infinite Post correspondence problem for instances of size 8
- Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words
- Undecidability of infinite post correspondence problem for instances of Size 9
- On the computational complexity of matrix semigroup problems
- Mathematical Foundations of Computer Science 2004
- Developments in Language Theory
- Regular solutions of language inequalities and well quasi-orders
- Unprovability results involving braids
- On undecidability bounds for matrix decision problems
- Subgroups of the braid group \(B_ 4\)
- Reachability games on extended vector addition systems with states
- Undecidability of Two-dimensional Robot Games
- Title not available (Why is that?)
- On the unsolvability of the conjugacy problem for subgroups of the group \(R_5\) of pure braids
- On effective construction of the greatest solution of language inequality \(XA\subseteq BX\)
- Two-letter group codes that preserve aperiodicity of inverse finite automata.
- ON THE UNDECIDABILITY OF THE IDENTITY CORRESPONDENCE PROBLEM AND ITS APPLICATIONS FOR WORD AND MATRIX SEMIGROUPS
Cited In (2)
This page was built for publication: Weighted automata on infinite words in the context of attacker-defender games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2013554)
