13 citations · 16 across the 9 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.FL2019
New Optimizations and Heuristics for Determinization of Büchi Automata
Christof Löding, Anton Pirogov
In this work, we present multiple new optimizations and heuristics for the determinization of Büchi automata that exploit a number of semantic and structural properties, most of wh…
cs.FL2019
New Pumping Technique for 2-dimensional VASS
Wojciech Czerwiński, Sławomir Lasota, Christof Löding +1
We propose a new pumping technique for 2-dimensional vector addition systems with states (2-VASS) building on natural geometric properties of runs. We illustrate its applicability…
cs.FL2019
Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp
Christof Löding, Anton Pirogov
Determinization of Büchi automata is a long-known difficult problem and after the seminal result of Safra, who developed the first asymptotically optimal construction from Büchi in…