scientific article; zbMATH DE number 7577577
From MaRDI portal
Suguman Bansal, Moshe Y. Vardi, Swarat Chaudhuri
Publication date: 30 August 2022
Full work available at URL: https://arxiv.org/abs/1812.06569
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
aggregate functionsquantitative inclusion\(\omega\)-regular\textsf{PSPACE}-completecomparator automatadiscounted-suminteger discount-factorlimit-average
Cites Work
- Unnamed Item
- Unnamed Item
- Faster algorithms for mean-payoff games
- Handbook of weighted automata
- Theory of \(\omega\)-languages. I: Characterizations of \(\omega\)-context- free languages
- A characterization of the minimum cycle mean in a digraph
- Automata, logics, and infinite games. A guide to current research
- Quantitative languages
- What’s Decidable about Weighted Automata?
- Energy Parity Games
- On Omega-Languages Defined by Mean-Payoff Conditions
- Weighted Automata Algorithms
- Regular Real Analysis
- Tools and Algorithms for the Construction and Analysis of Systems
- Exact and Approximate Determinization of Discounted-Sum Automata