Exact and Approximate Determinization of Discounted-Sum Automata
From MaRDI portal
Publication:5404475
DOI10.2168/LMCS-10(1:10)2014zbMath1325.68126arXiv1401.3957OpenAlexW1981329699MaRDI QIDQ5404475
Udi Boker, Thomas A. Henzinger
Publication date: 24 March 2014
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1401.3957
Related Items
Quantitative safety and liveness, On the comparison of discounted-sum automata with multiple discount factors, Quantitative vs. weighted automata, Percentile queries in multi-dimensional Markov decision processes, Approximated determinisation of weighted tree automata, Reactive synthesis without regret, Unnamed Item, On satisficing in quantitative games, What's decidable about weighted automata?
