The Target Discounted-Sum Problem

DOI10.1109/LICS.2015.74zbMath1401.68149MaRDI QIDQ4635852

Thomas A. Henzinger, Jan Otop, Udi Boker

Publication date: 23 April 2018

Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03B25: Decidability of theories and sets of sentences

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)