27 citations · 69 across the 15 of their papers we have counts for
4 papers · 1 filter
Synchronized CTL over One-Counter Automata
Shaull Almagor, Daniel Assa, Udi Boker
We consider the model-checking problem of Synchronized Computation-Tree Logic (CTL+Sync) over One-Counter Automata (OCAs). CTL+Sync augments CTL with temporal operators that requir…
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…
Safety and Liveness of Quantitative Properties and Automata
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi +1
Safety and liveness stand as fundamental concepts in formal languages, playing a key role in verification. The safety-liveness classification of boolean properties characterizes wh…
On the Comparison of Discounted-Sum Automata with Multiple Discount Factors
Udi Boker, Guy Hefetz
We look into the problems of comparing nondeterministic discounted-sum automata on finite and infinite words. That is, the problems of checking for automata and whether or…