27 citations · 69 across the 15 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2023★ 1 cited
Discounted-Sum Automata with Multiple Discount Factors
Udi Boker, Guy Hefetz
Discounting the influence of future events is a key paradigm in economics and it is widely used in computer-science models, such as games, Markov decision processes (MDPs), reinfor…
cs.LO2014
Discounting in LTL
Shaull Almagor, Udi Boker, Orna Kupferman
In recent years, there is growing need and interest in formalizing and reasoning about the quality of software and hardware systems. As opposed to traditional verification, where o…
cs.LO2005★ 1 cited
Comparing Computational Power
Udi Boker, Nachum Dershowitz
It is common practice to compare the computational power of different models of computation. For example, the recursive functions are strictly more powerful than the primitive recu…