Weighted automata on infinite words in the context of attacker-defender games
From MaRDI portal
Publication:2013554
Recommendations
Cites work
- scientific article; zbMATH DE number 3976343 (Why is no real title available?)
- scientific article; zbMATH DE number 53661 (Why is no real title available?)
- scientific article; zbMATH DE number 1339970 (Why is no real title available?)
- A categorical presentation of quantum computation with anyons
- A survey of computational complexity results in systems and control
- A variant of a recursively unsolvable problem
- Alternating-time temporal logic
- An automata-theoretic approach to branching-time model checking
- Automata, logics, and infinite games. A guide to current research
- Borel determinacy
- Braid Group Cryptography
- Composition problems for braids
- Computer Science Logic
- Decidability of second-order theories and automata on infinite trees
- Developments in Language Theory
- Infinite-state games with finitary conditions
- Mathematical Foundations of Computer Science 2004
- On effective construction of the greatest solution of language inequality \(XA\subseteq BX\)
- On the computational complexity of matrix semigroup problems
- On the undecidability of the identity correspondence problem and its applications for word and matrix semigroups
- On the unsolvability of the conjugacy problem for subgroups of the group \(R_5\) of pure braids
- On undecidability bounds for matrix decision problems
- Ordering braids.
- Polynomial-time algorithm for the orbit problem
- Pushdown processes: Games and model-checking
- REACHABILITY PROBLEMS FOR PRODUCTS OF MATRICES IN SEMIRINGS
- Reachability games on extended vector addition systems with states
- Reachability problems in quaternion matrix and rotation semigroups
- Regular solutions of language inequalities and well quasi-orders
- Subgroups of the braid group \(B_ 4\)
- The complexity of robot games on the integer line
- The power of commuting with finite sets of words
- Two-letter group codes that preserve aperiodicity of inverse finite automata.
- Undecidability bounds for integer matrices using Claus instances
- 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 8
- Undecidability of infinite post correspondence problem for instances of Size 9
- Undecidability of two-dimensional robot games
- Unprovability results involving braids
- What's decidable about weighted automata?
Cited in
(3)
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)
