Showing cs.FLShow all
2 papers · 1 filter
cs.FL2026
Determinization of Integral Discounted-Sum Automata is Decidable
Shaull Almagor, Neta Dafni
Nondeterministic Discounted-Sum Automata (NDAs) are nondeterministic finite automata equipped with a discounting factor , and whose transitions are labelled by weights. The v…
cs.FL2025
Quantitative Semantics for Jumping Automata
Shaull Almagor, Neta Dafni, Ishai Salgado
Jumping automata are finite automata that read their input in a non-sequential manner, by allowing a reading head to ``jump'' between positions on the input, consuming a permutatio…