8 citations · 13 across the 5 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.FL2019★ 8 cited
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★ 2 cited
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…
cs.LO2019★ 1 cited
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic
Normann Decker, Anton Pirogov
This paper presents an approximation approach to verifying counter systems with respect to properties formulated in an expressive counting extension of linear temporal logic. It ca…