Integer weighted automata on infinite words
From MaRDI portal
Publication:832935
DOI10.1007/978-3-030-81508-0_14OpenAlexW3189314826MaRDI QIDQ832935FDOQ832935
Authors: Vesa Halava, Reino Niskanen, Igor Potapov, Tero Harju 
Publication date: 25 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-81508-0_14
Recommendations
Cites Work
- Title not available (Why is that?)
- Handbook of weighted automata
- Decision problems for semi-Thue systems with a few rules
- Title not available (Why is that?)
- Small universal Turing machines
- What's decidable about weighted automata?
- Quantitative languages
- Some undecidable termination problems for semi-Thue systems
- Small Semi-Thue System Universal with Respect to the Termination Problem
- Title not available (Why is that?)
- On the Complexity of Equivalence and Minimisation for Q-weighted Automata
- On decidability and complexity of low-dimensional robot games
- Weighted automata on infinite words in the context of attacker-defender games
- 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
- Affine extensions of integer vector addition systems with states
Cited In (8)
- Integer Weighted Automata on Infinite Words
- How to Tackle Integer Weighted Automata Positivity
- Weighted automata on infinite words in the context of attacker-defender games
- What's decidable about weighted automata?
- Theory Is Forever
- Title not available (Why is that?)
- Weighted automata on infinite words in the context of attacker-defender games
- Title not available (Why is that?)
This page was built for publication: Integer weighted automata on infinite words
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q832935)
