Bidirectional nested weighted automata

DOI10.4230/LIPIcs.CONCUR.2017.5zbMath1442.68087arXiv1706.08316OpenAlexW2963874005MaRDI QIDQ5111617

Krishnendu Chatterjee, Jan Otop, Thomas A. Henzinger

Publication date: 27 May 2020

Full work available at URL: https://arxiv.org/abs/1706.08316

zbMATH Keywords

complexityweighted automatabidirectionalnested weighted automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Quantitative safety and liveness, Quantitative Automata under Probabilistic Semantics

Cites Work

• Unnamed Item
• Handbook of weighted automata
• Average-energy games
• Expressiveness and Closure Properties for Quantitative Languages
• Quantitative languages
• Temporal Specifications with Accumulative Values
• Quantitative Temporal Simulation and Refinement Distances for Timed Systems
• Alternating Weighted Automata
• Averaging in LTL
• Mean-Payoff Automaton Expressions
• Pebble Weighted Automata and Transitive Closure Logics
• Weighted Automata and Weighted Logics on Infinite Words
• Copyless Cost-Register Automata: Structure, Expressiveness, and Closure Properties
• Nested Weighted Limit-Average Automata of Bounded Width
• Nested Weighted Automata
• Nested Weighted Automata
• Quantitative Automata under Probabilistic Semantics
• Regular Functions and Cost Register Automata
• Formalizing and Reasoning about Quality
• Latticed-LTL Synthesis in the Presence of Noisy Inputs