120 citations
- Tel Aviv UniversityIL10 papers
- Hebrew University of JerusalemIL4 papers
- Herzliya Medical CenterIL4 papers
- University of HaifaIL4 papers
- Stanford UniversityUS3 papers
- Technion – Israel Institute of TechnologyIL3 papers
- Ariel UniversityIL2 papers
- Ben-Gurion University of the NegevIL2 papers
- Institute of Science and Technology AustriaAT2 papers
- Massachusetts Institute of TechnologyUS2 papers
- Northeastern UniversityUS2 papers
- Weizmann Institute of ScienceIL2 papers
4 papers · 1 filter
The Target Discounted-Sum Problem
Udi Boker, Thomas A. Henzinger, Jan Otop
The target discounted-sum problem is the following: Given a rational discount factor and three rational values , and , does there exist a finite or an infinite sequ…
Register Games
Karoliina Lehtinen, Udi Boker
The complexity of parity games is a long standing open problem that saw a major breakthrough in 2017 when two quasi-polynomial algorithms were published. This article presents a th…
Families of DFAs as Acceptors of -Regular Languages
Dana Angluin, Udi Boker, Dana Fisman
Families of DFAs (FDFAs) provide an alternative formalism for recognizing -regular languages. The motivation for introducing them was a desired correlation between the automaton…
Exact and Approximate Determinization of Discounted-Sum Automata
Udi Boker, Thomas A. Henzinger
A discounted-sum automaton (NDA) is a nondeterministic finite automaton with edge weights, valuing a run by the discounted sum of visited edge weights. More precisely, the weight i…