@Misc{            almagor2023determinization,
  Author        = "Almagor, Shaull and Dafni, Neta",
  ArchivePrefix = "arXiv",
  date-added    = "2023-10-16 09:52:00 +0200",
  date-modified = "2023-10-16 09:52:00 +0200",
  EPrint        = "2310.09115",
  PrimaryClass  = "cs.FL",
  Title         = "Determinization of Integral Discounted-Sum Automata is Decidable",
  Year          = "2023",
  File          = "Determinization of Integral Discounted-Sum Automata is Decidable - 2310.09115.pdf"
}

@Misc{ almagor2023determinization, Author = "Almagor, Shaull and Dafni, Neta", ArchivePrefix = "arXiv", date-added = "2023-10-16 09:52:00 +0200", date-modified = "2023-10-16 09:52:00 +0200", EPrint = "2310.09115", PrimaryClass = "cs.FL", Title = "Determinization of Integral Discounted-Sum Automata is Decidable", Year = "2023", File = "Determinization of Integral Discounted-Sum Automata is Decidable - 2310.09115.pdf" }