27 citations · 69 across the 15 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
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.FL2014★ 25 cited
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…